minor

sweirich · Jun 16, 2023 · efdd186 · efdd186
1 parent 9d82a9b
commit efdd186
Show file tree

Hide file tree

Showing 7 changed files with 5 additions and 7 deletions.
diff --git a/full/src/Environment.hs b/full/src/Environment.hs
@@ -79,7 +79,7 @@ data Env = Env
     sourceLocation :: [SourceLocation] 
   }
 
---deriving Show
+
 
 -- | The initial environment.
 emptyEnv :: Env

diff --git a/full/src/Equal.hs b/full/src/Equal.hs
@@ -296,7 +296,7 @@ unify ns tx ty = do
 -- solutions.
 amb :: Term -> Bool
 amb (App t1 t2) = True
-amb (If _ _ _) = True
+amb If {} = True
 amb (LetPair _ _) = True
 amb (Case _ _) = True
 amb _ = False

diff --git a/main/src/Equal.hs b/main/src/Equal.hs
@@ -308,7 +308,7 @@ unify ns tx ty = do
 -- solutions.
 amb :: Term -> Bool
 amb (App t1 t2) = True
-amb (If _ _ _) = True
+amb If {} = True
 amb (LetPair _ _) = True
 amb (Case _ _) = True
 amb _ = False

diff --git a/main/src/lexer.hs → main/src/Lexer.hs b/main/src/lexer.hs → main/src/Lexer.hs
diff --git a/version1/src/Environment.hs b/version1/src/Environment.hs
@@ -80,8 +80,6 @@ data Env = Env
     sourceLocation :: [SourceLocation]
   }
 
---deriving Show
-
 -- | The initial environment.
 emptyEnv :: Env
 emptyEnv =

diff --git a/version2/src/Environment.hs b/version2/src/Environment.hs
@@ -73,7 +73,7 @@ data Env = Env
     sourceLocation :: [SourceLocation] 
   }
 
---deriving Show
+
 
 -- | The initial environment.
 emptyEnv :: Env

diff --git a/version3/src/Environment.hs b/version3/src/Environment.hs
@@ -75,7 +75,7 @@ data Env = Env
     sourceLocation :: [SourceLocation] 
   }
 
---deriving Show
+
 
 -- | The initial environment.
 emptyEnv :: Env