fix case-on

anoma · Feb 7, 2023 · aacbb65 · aacbb65
1 parent 1a1f249
commit aacbb65
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 1 deletion.
diff --git a/src/Juvix/Compiler/Backend/Geb/Pretty/Base.hs b/src/Juvix/Compiler/Backend/Geb/Pretty/Base.hs
@@ -53,7 +53,7 @@ instance PrettyCode Case where
     val <- ppArg _caseOn
     left <- ppArg _caseLeft
     right <- ppArg _caseRight
-    return $ kwCase <+> lty <+> rty <+> cod <+> val <+> left <+> right
+    return $ kwCaseOn <+> lty <+> rty <+> cod <+> val <+> left <+> right
 
 instance PrettyCode Pair where
   ppCode Pair {..} = do

diff --git a/src/Juvix/Data/CodeAnn.hs b/src/Juvix/Data/CodeAnn.hs
@@ -62,6 +62,9 @@ kwLambda = keyword Str.lambdaUnicode
 kwCase :: Doc Ann
 kwCase = keyword Str.case_
 
+kwCaseOn :: Doc Ann
+kwCaseOn = keyword Str.caseOn
+
 kwInclude :: Doc Ann
 kwInclude = keyword Str.include
 

diff --git a/src/Juvix/Extra/Strings.hs b/src/Juvix/Extra/Strings.hs
@@ -431,6 +431,9 @@ pair = "pair"
 case_ :: (IsString s) => s
 case_ = "case"
 
+caseOn :: (IsString s) => s
+caseOn = "case-on"
+
 of_ :: (IsString s) => s
 of_ = "of"