Commit 4181d6f0 authored by Jan Rasmus Tikovsky 's avatar Jan Rasmus Tikovsky
Browse files

Another small bugfix

parent 015e613c
...@@ -360,6 +360,7 @@ constrType c tyEnv = case qualLookupValue c tyEnv of ...@@ -360,6 +360,7 @@ constrType c tyEnv = case qualLookupValue c tyEnv of
varType :: Ident -> ValueEnv -> TypeScheme varType :: Ident -> ValueEnv -> TypeScheme
varType v tyEnv = case lookupValue v tyEnv of varType v tyEnv = case lookupValue v tyEnv of
[Value _ _ sigma] -> sigma [Value _ _ sigma] -> sigma
[Label _ _ sigma] -> sigma
_ -> internalError $ "Base.Typing.varType: " ++ show v _ -> internalError $ "Base.Typing.varType: " ++ show v
funType :: QualIdent -> ValueEnv -> TypeScheme funType :: QualIdent -> ValueEnv -> TypeScheme
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment