From 7d368ee6a43f3bcb99b5cb754c52f5246db85618 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Fri, 13 Dec 2013 16:01:30 +0000
Subject: 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.
---
 src/test/test2.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/test')

diff --git a/src/test/test2.sail b/src/test/test2.sail
index 24d82655..1418f990 100644
--- a/src/test/test2.sail
+++ b/src/test/test2.sail
@@ -1,5 +1,5 @@
 function nat id ( n ) = n
 
-function nat main _ = {
+function nat effect pure main _ = {
   id(42);
 }
-- 
cgit v1.2.3