First cut at reviving the External Core tools

[ghc-hetmet.git] / utils / ext-core / ParseGlue.hs

diff --git a/utils/ext-core/ParseGlue.hs b/utils/ext-core/ParseGlue.hs
index 3dde0c3..9bd3c4f 100644 (file)
--- a/utils/ext-core/ParseGlue.hs
+++ b/utils/ext-core/ParseGlue.hs
@@ -25,7 +25,7 @@ data Token =
  | TKin 
  | TKcase 
  | TKof 
  | TKin 
  | TKcase 
  | TKof 

- | TKcoerce 
+ | TKcast

  | TKnote 
  | TKexternal
  | TKwild
  | TKnote 
  | TKexternal
  | TKwild

@@ -42,6 +42,7 @@ data Token =
  | TKbiglambda
  | TKat 
  | TKdot
  | TKbiglambda
  | TKat 
  | TKdot

+ | TKcolon

  | TKquestion
  | TKsemicolon
  | TKname String 
  | TKquestion
  | TKsemicolon
  | TKname String