Improve External Core syntax for newtypes

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

diff --git a/utils/ext-core/Lex.hs b/utils/ext-core/Lex.hs
index ad9d2eb..991ee0a 100644 (file)
--- a/utils/ext-core/Lex.hs
+++ b/utils/ext-core/Lex.hs
@@ -33,6 +33,7 @@ lexer cont ('/':'\\':cs) = cont TKbiglambda cs
 lexer cont ('@':cs) = cont TKat cs
 lexer cont ('?':cs) = cont TKquestion cs
 lexer cont (';':cs) = cont TKsemicolon cs
+lexer cont (':':cs) = cont TKcolon cs
 lexer cont (c:cs) = failP "invalid character" [c]
 
 lexChar cont ('\\':'x':h1:h0:'\'':cs)
@@ -84,7 +85,7 @@ lexKeyword cont cs =
       ("in",rest) -> cont TKin rest    
       ("case",rest) -> cont TKcase rest        
       ("of",rest) -> cont TKof rest    
-      ("coerce",rest) -> cont TKcoerce rest    
+      ("cast",rest) -> cont TKcast rest        
       ("note",rest) -> cont TKnote rest        
       ("external",rest) -> cont TKexternal rest
       ("_",rest) -> cont TKwild rest