add test

src/Juvix/Compiler/Builtins/Ordering.hs

@@ -1,6 +1,5 @@
 module Juvix.Compiler.Builtins.Ordering where
 
--- import Juvix.Compiler.Internal.Builtins
 import Juvix.Compiler.Internal.Extra
 import Juvix.Prelude
 

src/Juvix/Compiler/Internal/Translation/FromConcrete.hs

@@ -632,11 +632,11 @@ compareConstructors loc bs cs = do
       . runInputList cs
       $ repeatOnInput go
   Internal.mkLambda <$> case res of
-    Nothing -> pure <$> defaultClause
+    Nothing -> pure <$> emptyTypeClause
     Just l -> return l
   where
-    defaultClause :: Sem r Internal.LambdaClause
-    defaultClause = do
+    emptyTypeClause :: Sem r Internal.LambdaClause
+    emptyTypeClause = do
       w1 <- Internal.genWildcard loc Explicit
       w2 <- Internal.genWildcard loc Explicit
       return
@@ -647,7 +647,7 @@ compareConstructors loc bs cs = do
 
     go :: (Members '[NameIdGen, Output Internal.LambdaClause, Input ConstructorInfo] r') => ConstructorInfo -> Sem r' ()
     go c = do
-      isLast <- isJust <$> peekInput @ConstructorInfo
+      isLast <- isEndOfInput @ConstructorInfo
       let mkPat = Internal.genConstructorPattern loc Explicit c
       (p1, v1) <- mkPat
       (p2, v2) <- mkPat

src/Juvix/Prelude/Effects/Input.hs

@@ -1,3 +1,5 @@
+{-# LANGUAGE AllowAmbiguousTypes #-}
+
 module Juvix.Prelude.Effects.Input
   ( Input,
     input,
@@ -6,6 +8,7 @@ module Juvix.Prelude.Effects.Input
     peekInput,
     runInputList,
     repeatOnInput,
+    isEndOfInput,
   )
 where
 
@@ -44,7 +47,10 @@ peekInput = do
 runInputList :: [i] -> Sem (Input i ': r) a -> Sem r a
 runInputList = evalStaticRep . Input
 
-repeatOnInput :: (i -> Sem (Input i ': r) a) -> Sem (Input i ': r) ()
+isEndOfInput :: forall i r. (Members '[Input i] r) => Sem r Bool
+isEndOfInput = isNothing <$> peekInput @i
+
+repeatOnInput :: (Members '[Input i] r) => (i -> Sem r a) -> Sem r ()
 repeatOnInput m = whenJustM input (m >=> const (repeatOnInput m))
 
 inputJust :: (Members '[Input i] r) => Sem r i

test/Compilation/Positive.hs

@@ -500,5 +500,10 @@ tests =
         "Test085: Deriving Eq"
         $(mkRelDir ".")
         $(mkRelFile "test085.juvix")
-        $(mkRelFile "out/test085.out")
+        $(mkRelFile "out/test085.out"),
+      posTest
+        "Test086: Deriving Ord"
+        $(mkRelDir ".")
+        $(mkRelFile "test086.juvix")
+        $(mkRelFile "out/test086.out")
     ]

tests/Compilation/positive/out/test086.out

@@ -0,0 +1,5 @@
+Equal
+LessThan
+GreaterThan
+LessThan
+GreaterThan

tests/Compilation/positive/test086.juvix

@@ -0,0 +1,26 @@
+-- Deriving Ord
+module test086;
+
+import Stdlib.Data.Fixity open;
+import Stdlib.Data.Bool open;
+import Stdlib.Data.Pair open;
+import Stdlib.Trait.Ord open;
+import Stdlib.System.IO open;
+
+syntax alias compare := Ord.cmp;
+
+type T :=
+  | One
+  | Two
+  | Three
+  | Four;
+
+deriving instance
+ordT : Ord T;
+
+main : IO :=
+  printLn (compare One One)
+    >>> printLn (compare One Two)
+    >>> printLn (compare Two One)
+    >>> printLn (compare (One, One) (One, Three))
+    >>> printLn (compare (Four, Four) (Four, Three));