swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
Tip revision: b6407e0f026cf5491ca5ed0a35ea5cf316ebe8ca authored by Anish Tondwalkar on 21 May 2021, 03:15:25 UTC
formatted for submission
formatted for submission
Tip revision: b6407e0
undefined.hs
undefined as rforall a . a
undefined = 0
foo :: {v:Int | v > 9}
foo = undefined
bar as forall a. Bar >a -> Unit
bar = 2
baz as forall a. Baz <a -> Unit
baz = 3
qux :: Unit
qux = let x = (bar undefined),
y = (baz undefined)
in Unit