diff options
| author | Gabriel Kerneis | 2013-12-13 16:01:30 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-12-13 16:01:57 +0000 |
| commit | 7d368ee6a43f3bcb99b5cb754c52f5246db85618 (patch) | |
| tree | 305e0dde3743a307b799b674f729870439c2e1d1 /src/main.ml | |
| parent | d2628288f054e72fef2d5bbad24f1aac0f5d1db7 (diff) | |
Fix effect annotation pretty-printing
There is also a bug for parsing effect annotations (in fundecl).
But for some reason, my fix for the parser does not work:
test/test2.sail still refuses to parse (chokes on "effect
pure"), even with "Effect" added to parser.mly.
Diffstat (limited to 'src/main.ml')
0 files changed, 0 insertions, 0 deletions