Skip to content

Instantly share code, notes, and snippets.

@hanshoglund

hanshoglund/tests.hs

Created February 9, 2018 14:29
Show Gist options
  • Save hanshoglund/47a6dd024847c95ce80c500fa3ffa3a0 to your computer and use it in GitHub Desktop.
Save hanshoglund/47a6dd024847c95ce80c500fa3ffa3a0 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
tests.hs
, "Int" `isSubtypeOf` "forall a.a"
, "{foo:Int}" `isSubtypeOf` "forall r.(r\\foo) => {foo:Int|r}"
, "{foo:Int,bar:Int}" `isSubtypeOf` "forall r.(r\\foo) => {foo:Int|r}"
, "{foo:Int,bar:Int}" `isNotSubtypeOf` "{foo:Int}"
, "{foo:Int} -> <L:Int>"
`isSubtypeOf`
"forall a r r1. (r\\foo, r1\\L) => {foo : a | r} -> <L : a | r1>"
, "<L:{},R:{}>" `isSubtypeOf` "forall r.(r\\L) => <L:{}|r>"
, "<L:{},R:{}>" `isSubtypeOf` "forall r.(r\\L) => <L:{}|r>"
, "forall a.a" `isSubtypeOf` "forall a.a"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment