24 Jul
2009
24 Jul
'09
3 a.m.
| On Friday 10 July 2009 5:03:00 am Wolfgang Jeltsch wrote: | > Isn’t ExistentialQuantification more powerful than using GADTs for | > emulating existential quantification? To my knowledge, it is possible to | > use lazy patterns with existential types but not with GADTs. | | 6.10.4 doesn't allow you to use ~ matches against either. In that respect GADTs and existentials are the same, regardless of the synatx with which they are declared. I hope. Simon