From 443638210a2920139ca846cfa17c2e5546087436 Mon Sep 17 00:00:00 2001 From: aiya000 Date: Wed, 25 Jul 2018 23:03:16 +0900 Subject: [PATCH] :bug: Fix a parse failure of XXX of `\x:XXX.x` --- src/Sonoda/Parser.y | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Sonoda/Parser.y b/src/Sonoda/Parser.y index 74ec7d7..ed4e786 100644 --- a/src/Sonoda/Parser.y +++ b/src/Sonoda/Parser.y @@ -34,10 +34,10 @@ import Sonoda.Types '\\' { (TokenBackslash, _) } ':' { (TokenColon, _) } '.' { (TokenDot, _) } - ident { (TokenAnIdent $$, _) } "->" { (TokenArrow, _) } natType { (TokenAnIdent "Nat", _) } boolType { (TokenAnIdent "Bool", _) } + ident { (TokenAnIdent $$, _) } %%