Skip to content

Instantly share code, notes, and snippets.

@calebh

calebh/constraintresults.txt

Created July 20, 2019 23:12
Show Gist options
  • Save calebh/b81d43be96238e99357fb1b91daf320f to your computer and use it in GitHub Desktop.
Save calebh/b81d43be96238e99357fb1b91daf320f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
constraintresults.txt
map
[(TyVar ("t1",Star), TConExpr (TyCon (TyConUnit,Star)));
(TyVar ("t2",Star), TConExpr (TyCon (TyConNumber,Star)))]
Type error: The types () and Number are not equal.
Clearly unit isn't the same type as a number
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment