Ticket #44 (new defect)
Fix elaboration of recursive data types.
|Reported by:||benl||Owned by:|
|Component:||Source Type Inferencer||Version:|
At the moment, data type definitions to be elaborated must be in-order and not recursive. For example:
data Foo a = FooInt Int data Bar a = BarFoo Foo
The definition for Bar must come after def for Foo, otherwise Source.Desugar won't have the correct kind for it. Should probably tie this elaboration to kind inference.