Rakarake/churf
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Removed custom Character in favor of BNFC Char

Browse source
This commit is contained in:
sebastianselander 2023-03-27 16:14:40 +02:00
parent b7be75aa1e
commit 22783cf817
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Grammar.cf
View file

@ -58,7 +58,7 @@ ECase. Exp ::= "case" Exp "of" "{" [Branch] "}";
------------------------------------------------------------------------------- -------------------------------------------------------------------------------
LInt. Lit ::= Integer; LInt. Lit ::= Integer;
LChar. Lit ::= Character; LChar. Lit ::= Char;
------------------------------------------------------------------------------- -------------------------------------------------------------------------------
-- * PATTERN MATCHING -- * PATTERN MATCHING
@ -88,7 +88,6 @@ coercions Pattern 1;
coercions Exp 4; coercions Exp 4;
coercions Type 1 ; coercions Type 1 ;
token Character '\''(char)'\'' ;
token UIdent (upper (letter | digit | '_')*) ; token UIdent (upper (letter | digit | '_')*) ;
token LIdent (lower (letter | digit | '_')*) ; token LIdent (lower (letter | digit | '_')*) ;