From 1a3df54ee7baa7c7864b013f0ad0a179f231ad01 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Tue, 14 Apr 2009 11:13:00 +0000 Subject: [PATCH] Fixed SKIP not being allowed as a guard without a precondition --- frontends/ParseOccam.hs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/frontends/ParseOccam.hs b/frontends/ParseOccam.hs index a0a2ef7..20a6190 100644 --- a/frontends/ParseOccam.hs +++ b/frontends/ParseOccam.hs @@ -1907,6 +1907,10 @@ guard = do m <- md (c, im) <- input return $ A.Alternative m (A.True m) c im + <|> do m <- md + sSKIP + eol + return $ A.AlternativeSkip m (A.True m) <|> do m <- md b <- tryVX expression sAmp do { (c, im) <- input; return $ A.Alternative m b c im }