shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Merge branch 'master' into patsyn3

--- a/src/MicroHs/TypeCheck.hs

+++ b/src/MicroHs/TypeCheck.hs

@@ -1490,7 +1490,7 @@

 -- When inferring the type, the resulting type will

 -- be assigned to the TRef (using tSetRefType),

 -- and can then be read of (using tGetRefType).

--- When checking, the expected type is simple given.

+-- When checking, the expected type is simply given.

 data Expected = Infer TRef | Check EType

 --  deriving(Show)

@@ -1528,7 +1528,7 @@

 tGetRefType ref = do

   m <- gets uvarSubst

   case IM.lookup ref m of

-    Nothing -> return (EUVar ref) -- error "tGetRefType"

+    Nothing -> return (EUVar ref)

     Just t  -> return t

 -- Set the type for an Infer