rhi/quox
rhi
/
quox
1
0
Fork 0
Code Issues 16 Pull Requests 1 Releases Wiki Activity

more tokens

This commit is contained in:
rhiannon morris 2022-05-07 21:57:10 +02:00
parent 12753eb894
commit fcbc92e54c
2 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
lib/Quox/Token.idr
View File

@ -24,7 +24,8 @@ data Punc
public export public export
data Keyword data Keyword
= Fun | Let | In | Case | Of | Omega = Lam | Let | In | Case | Of | Omega
| Pi | Sigma | W | TYPE
%runElab derive "Keyword" [Generic, Meta, Eq, Ord, DecEq, Show] %runElab derive "Keyword" [Generic, Meta, Eq, Ord, DecEq, Show]

6
tests/Tests/Lexer.idr
View File

@ -124,7 +124,11 @@ tests = "lexer" :- [
acceptsWith' "case" [K Case], acceptsWith' "case" [K Case],
acceptsWith' "of" [K Of], acceptsWith' "of" [K Of],
acceptsWith' "ω" [K Omega], acceptsWith' "ω" [K Omega],
acceptsWith' "funk" [Name "funk"] acceptsWith' "Π" [K Pi],
acceptsWith' "Σ" [K Sigma],
acceptsWith' "W" [K W],
acceptsWith' "★" [K TYPE],
acceptsWith' "WAAA" [Name "WAAA"]
], ],
"numbers" :- [ "numbers" :- [