stylistic changes

anoma · Jan 31, 2023 · 5c58491 · 5c58491
1 parent 30ca331
commit 5c58491
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 6 deletions.
diff --git a/src/Juvix/Compiler/Backend/Geb/Extra.hs b/src/Juvix/Compiler/Backend/Geb/Extra.hs
@@ -12,11 +12,11 @@ destructProduct = \case
 objectBool :: Object
 objectBool = ObjectCoproduct (Coproduct ObjectTerminal ObjectTerminal)
 
-gebTrue :: Morphism
-gebTrue = MorphismLeft MorphismUnit
+morphismTrue :: Morphism
+morphismTrue = MorphismLeft MorphismUnit
 
-gebFalse :: Morphism
-gebFalse = MorphismRight MorphismUnit
+morphismFalse :: Morphism
+morphismFalse = MorphismRight MorphismUnit
 
 mkOr :: Morphism -> Morphism -> Morphism
 mkOr arg1 arg2 =
@@ -31,7 +31,7 @@ mkOr arg1 arg2 =
             Lambda
               { _lambdaVarType = ObjectTerminal,
                 _lambdaBodyType = objectBool,
-                _lambdaBody = gebTrue
+                _lambdaBody = morphismTrue
               },
         _caseRight =
           MorphismLambda

diff --git a/src/Juvix/Compiler/Backend/Geb/Language.hs b/src/Juvix/Compiler/Backend/Geb/Language.hs
@@ -73,7 +73,7 @@ data Binop = Binop
     _binopRight :: Morphism
   }
 
--- | Corresponds to the GEB type for morphisms (terms): `stlc`
+-- | Corresponds to the GEB type for terms (morphisms of the category): `stlc`
 -- (https://github.com/anoma/geb/blob/main/src/specs/lambda.lisp).
 data Morphism
   = MorphismAbsurd Morphism
@@ -150,6 +150,7 @@ makeLenses ''First
 makeLenses ''Second
 makeLenses ''Lambda
 makeLenses ''Var
+makeLenses ''Binop
 makeLenses ''Application
 makeLenses ''Morphism
 makeLenses ''Product