diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-12 14:51:10 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-12 14:51:10 -0500 |
| commit | 0a168e5f39165bd9e462813866c9a25dc2d6b688 (patch) | |
| tree | 4c48413e12978d861257f204e8849034f2447c07 /src/elab_util.sml | |
| parent | 84e471e64566698a5489810836b6ec80824d3e46 (diff) | |
Fix lexing of string literals in XML; treat EError as impure in MonoReduce
Diffstat (limited to 'src/elab_util.sml')
0 files changed, 0 insertions, 0 deletions