diff options
| author | bjorn <bjorn@bringert.net> | 2008-10-20 14:05:39 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-10-20 14:05:39 +0000 |
| commit | 05343e78a93bc7a248cab402fc1f0c92450f2a91 (patch) | |
| tree | 9bdc77ddbbd1e2e02fe00c3a16c80a4f61f10463 /src/GF/Source/GrammarToSource.hs | |
| parent | 5cbc5aeb9dd201a894a401f784c0635790bae8b4 (diff) | |
Added on-demand parser generation back in. It's pretty unproblematic, and can help with memory use in some cases.
Diffstat (limited to 'src/GF/Source/GrammarToSource.hs')
0 files changed, 0 insertions, 0 deletions