#940: GADT + impredicative polymorphism => stack overflow
--------------------------------------------+------------------------------
Reporter: guest | Owner: simonpj
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 6.6
Resolution: fixed | Keywords:
Operating System: Unknown/Multiple | Architecture:
Difficulty: Unknown | Unknown/Multiple
| Test Case:
--------------------------------------------+------------------------------
Comment (by simonpj