Open jchen-cs opened 3 years ago
e.g.
let x = -1 in let x:int{x<0} = 2 in x
Which x is int{x<0} referring to?
x
int{x<0}
e.g.
let x = -1 in let x:int{x<0} = 2 in xWhich
xisint{x<0}referring to?