Commit 015e613c authored by Jan Rasmus Tikovsky 's avatar Jan Rasmus Tikovsky
Browse files

Minor bugfix

parent df4a5e21
...@@ -365,6 +365,7 @@ varType v tyEnv = case lookupValue v tyEnv of ...@@ -365,6 +365,7 @@ varType v tyEnv = case lookupValue v tyEnv of
funType :: QualIdent -> ValueEnv -> TypeScheme funType :: QualIdent -> ValueEnv -> TypeScheme
funType f tyEnv = case qualLookupValue f tyEnv of funType f tyEnv = case qualLookupValue f tyEnv of
[Value _ _ sigma] -> sigma [Value _ _ sigma] -> sigma
[Label _ _ sigma] -> sigma
_ -> internalError $ "Base.Typing.funType: " ++ show f _ -> internalError $ "Base.Typing.funType: " ++ show f
labelType :: QualIdent -> ValueEnv -> TypeScheme labelType :: QualIdent -> ValueEnv -> TypeScheme
......
Supports Markdown
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