Ormolu

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