Commit 043eb2af authored by Steffen Michels's avatar Steffen Michels

fix problem with generating type error messages

parent 6bf9458f
Pipeline #24646 failed with stage
in 1 minute and 9 seconds
...@@ -528,6 +528,7 @@ where ...@@ -528,6 +528,7 @@ where
argOf :: !TypeCode -> TypeCode argOf :: !TypeCode -> TypeCode
argOf (TypeApp (TypeApp _ arg) _) = arg argOf (TypeApp (TypeApp _ arg) _) = arg
argOf (TypeScheme _ type) = argOf type
// only function conses can have not matching child types // only function conses can have not matching child types
childTypesAreMatching _ _ = Ok () childTypesAreMatching _ _ = Ok ()
......
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