From fcdb5dfe942df1bbaed8eec906394a98ac532c97 Mon Sep 17 00:00:00 2001
From: Ashley Coleman <ashley.coleman@sifive.com>
Date: Wed, 8 Nov 2023 13:29:55 -0800
Subject: [PATCH] check formatting

---
 .github/workflows/build.yaml | 3 +++
 json.wake                    | 6 ++----
 2 files changed, 5 insertions(+), 4 deletions(-)

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