diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index b50c01c..c991c6d 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -28,5 +28,8 @@ jobs: - name: Initialize wake run: wake --init . + - name: Check formatting + run: wake-format --dry-run --auto + - name: Run basic test run: wake --in query -x 'single 5' diff --git a/json.wake b/json.wake index 878ebdb..2572f40 100644 --- a/json.wake +++ b/json.wake @@ -15,10 +15,8 @@ from query export def QueryError makeQueryError def lookup (selectFn: a => Boolean): (list: List (Pair a b)) => List b = def select (Pair key value) = - if selectFn key then - Some value - else - None + if selectFn key then Some value + else None mapPartial select