Skip to content
This repository was archived by the owner on Apr 1, 2025. It is now read-only.

Commit 7d336c9

Browse files
committed
Reformat a little.
1 parent f813847 commit 7d336c9

File tree

1 file changed

+3
-4
lines changed

1 file changed

+3
-4
lines changed

semantic-core/src/Analysis/Eval.hs

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -115,7 +115,8 @@ prog5 :: File (Term Core User)
115115
prog5 = fromBody $ block
116116
[ let' "mkPoint" .= lam' "_x" (lam' "_y" (block
117117
[ let' "x" .= pure "_x"
118-
, let' "y" .= pure "_y"]))
118+
, let' "y" .= pure "_y"
119+
]))
119120
, let' "point" .= pure "mkPoint" $$ Core.bool True $$ Core.bool False
120121
, pure "point" Core.... pure "x"
121122
, pure "point" Core.... pure "y" .= pure "point" Core.... pure "x"
@@ -125,9 +126,7 @@ prog6 :: [File (Term Core User)]
125126
prog6 =
126127
[ File (Loc "dep" (locSpan (fromJust here))) $ block
127128
[ let' "dep" .= Core.frame
128-
, pure "dep" Core.... block
129-
[ let' "var" .= Core.bool True
130-
]
129+
, pure "dep" Core.... (let' "var" .= Core.bool True)
131130
]
132131
, File (Loc "main" (locSpan (fromJust here))) $ block
133132
[ load (Core.string "dep")

0 commit comments

Comments
 (0)