X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=utils%2Fext-core%2FParseGlue.hs;fp=utils%2Fext-core%2FParseGlue.hs;h=3dde0c3d7522850a2bb5b8622734666c2aea5764;hp=0000000000000000000000000000000000000000;hb=0065d5ab628975892cea1ec7303f968c3338cbe1;hpb=28a464a75e14cece5db40f2765a29348273ff2d2

diff --git a/utils/ext-core/ParseGlue.hs b/utils/ext-core/ParseGlue.hs
new file mode 100644
index 0000000..3dde0c3
--- /dev/null
+++ b/utils/ext-core/ParseGlue.hs
@@ -0,0 +1,65 @@
+module ParseGlue where
+
+data ParseResult a = OkP a | FailP String
+type P a = String -> Int -> ParseResult a
+
+thenP :: P a -> (a -> P b) -> P b
+m `thenP`  k = \ s l -> 
+  case m s l of 
+    OkP a -> k a s l
+    FailP s -> FailP s
+
+returnP :: a -> P a
+returnP m _ _ = OkP m
+
+failP :: String -> P a
+failP s s' _ = FailP (s ++ ":" ++ s')
+
+data Token =
+   TKmodule 
+ | TKdata 
+ | TKnewtype 
+ | TKforall 
+ | TKrec 
+ | TKlet 
+ | TKin 
+ | TKcase 
+ | TKof 
+ | TKcoerce 
+ | TKnote 
+ | TKexternal
+ | TKwild
+ | TKoparen 
+ | TKcparen 
+ | TKobrace
+ | TKcbrace
+ | TKhash
+ | TKeq 
+ | TKcoloncolon 
+ | TKstar 
+ | TKrarrow 
+ | TKlambda
+ | TKbiglambda
+ | TKat 
+ | TKdot
+ | TKquestion
+ | TKsemicolon
+ | TKname String 
+ | TKcname String
+ | TKinteger Integer 
+ | TKrational Rational
+ | TKstring String 
+ | TKchar Char 
+ | TKEOF
+
+
+
+
+
+
+
+
+
+
+
+