We should populate the grin TypeEnv only with entries that actually exist in the generated code

« jhc project page

The type enviornment created as initTyEnv in Grin.FromE currently slurps the entire dataTable, this not only wastes work but misses conjured types such as absurd and box that may occur in the code. We should utilize the same mechanism we use to add new funciton types to only add constructor types that are needed.

Details

Id: 316512487a0533307c6c362afd1f1b6c19d288a3
Type: bugfix
Creation time: 2009-03-27 04:07 GMT
Creator: John Meacham <john@...>
Release: unassigned
Component: jhc
Status: unstarted

Issue log

2009-03-27 04:07 GMT John Meacham <john@...> created