Segmentation fault with strict universally quantified type
I'm not exactly sure where the problem lies, but the following program causes a segmentation fault on the current linux nightly. It works fine when you remove strictness from T
.
import StdEnv
:: T = T !(A.a: R a | + a)
:: R a = {x :: !a -> a}
Start = T {x=(\x->x+x)}