From e648a87fd1b7b4d42d1fe35e630adaf58a6da10f Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Tue, 7 Apr 2009 15:43:56 +0000 Subject: [PATCH] Turned REM into \ in the parser, as that was the easiest place to do it --- frontends/ParseOccam.hs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/frontends/ParseOccam.hs b/frontends/ParseOccam.hs index bd03502..488e1ec 100644 --- a/frontends/ParseOccam.hs +++ b/frontends/ParseOccam.hs @@ -897,7 +897,11 @@ isAssocOperator _ = False udOperator :: (String -> Bool) -> OccParser A.Name udOperator isOp = do m <- md n <- genToken test - return $ A.Name m n + return $ A.Name m $ + -- Turn REM into \ now, to save effort later: + if (n == "REM") + then "\\" + else n where test (Token _ (TokReserved name)) = if isOp name then Just name else Nothing