id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
44,Fix elaboration of recursive data types.,benl,,"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.

",defect,new,project,,Source Type Inferencer,,,,