diff options
| author | hallgren <hallgren@chalmers.se> | 2014-05-16 14:10:07 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-05-16 14:10:07 +0000 |
| commit | 307795f3853b7b5772ff0c190e7e054ac64bd777 (patch) | |
| tree | 7db332694288c1352b4b4832f395633d7a6fcf71 /eclipse | |
| parent | e9b5b8b09492808de625ebaa8abd8e940918d8d5 (diff) | |
Fix an eta expansion bug in the grammar compiler
Eta expansion is applied between partial evaluation and PMCFG generation.
The buggy version generated type incorrect terms, but PMCFG generation
apparently worked anyway.
Diffstat (limited to 'eclipse')
0 files changed, 0 insertions, 0 deletions