From 83ed1ada5c7fddb6f7fbaf2fdb2c65d30f39a653 Mon Sep 17 00:00:00 2001 From: Chris Penner Date: Fri, 16 Aug 2024 13:40:33 -0700 Subject: [PATCH] Ormolu --- unison-core/src/Unison/Term.hs | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/unison-core/src/Unison/Term.hs b/unison-core/src/Unison/Term.hs index c460e8c6a5..652277b121 100644 --- a/unison-core/src/Unison/Term.hs +++ b/unison-core/src/Unison/Term.hs @@ -82,13 +82,15 @@ data F typeVar typeAnn patternAnn a | Lam a | -- Note: let rec blocks have an outer ABT.Cycle which introduces as many -- variables as there are bindings - LetRec IsTop [a {- <- bindings -}] a {- <- body -} - -- Note: first parameter is the binding, second is the expression which may refer - | -- to this let bound variable. Constructed as `Let b (abs v e)` - Let IsTop a {- <- binding -} a {- <- body -} - -- Pattern matching / eliminating data types, example: + -- LetRec isTop bindings body + LetRec IsTop [a] a + | -- Note: first parameter is the binding, second is the expression which may refer + -- to this let bound variable. Constructed as `Let b (abs v e)` + -- Let isTop bindings body + Let IsTop a a + | -- Pattern matching / eliminating data types, example: -- case x of - | -- Just n -> rhs1 + -- Just n -> rhs1 -- Nothing -> rhs2 -- -- translates to