diff options
| author | hallgren <hallgren@chalmers.se> | 2011-08-30 20:20:45 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-08-30 20:20:45 +0000 |
| commit | b743abb375bda7a758bbdde8cabe47e3b38b78c9 (patch) | |
| tree | 21f316d658a4967c005f8dee234aadda351b24ed /src/compiler/GF/Compile/Coding.hs | |
| parent | ba10b5b0ca0c906b1b5c94f64b37b5a34f200f71 (diff) | |
GF.Infra.Modules: restore module dependency order invariant
It is needed by greatestResource (and similar functions, presumably).
So keep both the list and the finite map of modules. This slows down some
things, but the compilation of PhrasebookFin.pgf benefits from it.
To be continued...
Diffstat (limited to 'src/compiler/GF/Compile/Coding.hs')
0 files changed, 0 insertions, 0 deletions