More tweaks to Course 5

smelc · Oct 11, 2024 · e0ccae5 · e0ccae5
1 parent 5c6db88
commit e0ccae5
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/slides/course-05.md b/slides/course-05.md
@@ -261,8 +261,8 @@ GADTs to the rescue!
 data Expr t where
   IntExpr :: Int -> Expr Int
   BoolExpr :: Bool -> Expr Bool
-  Pair :: Expr a -> Expr b -> Expr (a, b)
-  IfThenElse :: Expr Bool -> Expr a -> Expr a -> Expr a
+  PairExpr :: Expr a -> Expr b -> Expr (a, b)
+  IfThenElseExpr :: Expr Bool -> Expr a -> Expr a -> Expr a
 
 eval :: Expr a -> a
 ```

diff --git a/tps/Scratch.hs b/tps/Scratch.hs
@@ -160,16 +160,16 @@ monadWriterExample = do
 data Expr t where
   IntExpr :: Int -> Expr Int
   BoolExpr :: Bool -> Expr Bool
-  Pair :: Expr a -> Expr b -> Expr (a, b)
-  IfThenElse :: Expr Bool -> Expr a -> Expr a -> Expr a
+  PairExpr :: Expr a -> Expr b -> Expr (a, b)
+  IfThenElseExpr :: Expr Bool -> Expr a -> Expr a -> Expr a
 
 
 eval :: Expr a -> a
 eval = \case
   IntExpr x -> x
   BoolExpr x -> x
-  Pair a b -> (eval a, eval b)
-  IfThenElse cond a b -> if eval cond then eval a else eval b
+  PairExpr a b -> (eval a, eval b)
+  IfThenElseExpr cond a b -> if eval cond then eval a else eval b
 
 -- data Expr a b =
 --     IntExpr Int