rc #13

Merged
crumbtoo merged 196 commits from dev into main 2024-02-13 13:22:23 -07:00
Showing only changes of commit 8a94288e5a - Show all commits

View File

@@ -279,15 +279,6 @@ instance (Pretty b) => Pretty (Expr b) where
"case" <+> pretty e <+> "of"
$$ nest 2 (explicitLayout as)
{-
x = pretty $ desugarRlpProg [rlpProg|
main = 3
data B = T | F
|]
-}
instance (Pretty b) => Pretty (Alter b) where
pretty (Alter c as e) =
hsep [pretty c, hsep (pretty <$> as), "->", pretty e]