From 3a521624bb1458333a7fd23a0712cbc1f8fc5e1d Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Thu, 12 Jan 2023 16:41:25 +0000
Subject: refactor: fix token groups in parser.

---
 src/Obs/Parser.idr | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'src/Obs')

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)
-- 
cgit v1.2.3