diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2023-01-12 16:41:25 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2023-01-12 16:42:47 +0000 |
| commit | 3a521624bb1458333a7fd23a0712cbc1f8fc5e1d (patch) | |
| tree | 032f7b63daaf812b1b3db5e55b5229e4b3953dd2 | |
| parent | 8ac4bd7b206adae0883cc29c239d11a75c090b5f (diff) | |
refactor: fix token groups in parser.
| -rw-r--r-- | src/Obs/Parser.idr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/Obs/Parser.idr b/src/Obs/Parser.idr index e59b2d7..a555b67 100644 --- a/src/Obs/Parser.idr +++ b/src/Obs/Parser.idr @@ -39,7 +39,6 @@ data ObsTokenKind | OTShape | OTPosition | OTNextIndex - | OTExtension | OTBox | OTMkBox | OTUnbox @@ -49,6 +48,7 @@ data ObsTokenKind | OTCast | OTCastRefl -- Lambda Head Forms + | OTExtension | OTIf -- Decl Forms | OTThinArrow @@ -93,7 +93,6 @@ Eq ObsTokenKind where OTShape == OTShape = True OTPosition == OTPosition = True OTNextIndex == OTNextIndex = True - OTExtension == OTExtension = True OTBox == OTBox = True OTMkBox == OTMkBox = True OTUnbox == OTUnbox = True @@ -103,6 +102,7 @@ Eq ObsTokenKind where OTCast == OTCast = True OTCastRefl == OTCastRefl = True + OTExtension == OTExtension = True OTIf == OTIf = True OTThinArrow == OTThinArrow = True @@ -149,7 +149,6 @@ Show ObsTokenKind where show OTShape = "Shape" show OTPosition = "Position" show OTNextIndex = "nextIndex" - show OTExtension = "extension" show OTBox = "Box" show OTMkBox = "box" show OTUnbox = "unbox" @@ -159,6 +158,7 @@ Show ObsTokenKind where show OTCast = "cast" show OTCastRefl = "castRefl" + show OTExtension = "extension" show OTIf = "if" show OTThinArrow = "->" @@ -207,7 +207,6 @@ TokenKind ObsTokenKind where tokValue OTShape s = () tokValue OTPosition s = () tokValue OTNextIndex s = () - tokValue OTExtension s = () tokValue OTBox s = () tokValue OTMkBox s = () tokValue OTUnbox s = () @@ -217,6 +216,7 @@ TokenKind ObsTokenKind where tokValue OTCast s = () tokValue OTCastRefl s = () + tokValue OTExtension s = () tokValue OTIf s = () tokValue OTThinArrow s = () @@ -267,7 +267,6 @@ keywords = , ("Shape", OTShape) , ("Position", OTPosition) , ("nextIndex", OTNextIndex) - , ("extension", OTExtension) , ("Box", OTBox) , ("box", OTMkBox) , ("unbox", OTUnbox) @@ -277,6 +276,7 @@ keywords = , ("cast", OTCast) , ("castRefl", OTCastRefl) + , ("extension", OTExtension) , ("if", OTIf) , ("Container", OTContainer) |