switch to megaparsec

1 files changed, 39 insertions, 0 deletions

diff --git a/testdata/it.lc b/testdata/it.lc
new file mode 100644
index 00000000..339cecba
--- /dev/null
+++ b/testdata/it.lc
@@ -0,0 +1,39 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+--import Internals
+
+typeAnn x = x
+
+undefined :: forall (a :: Type) . a
+
+primFix :: forall (a :: Type) . (a -> a) -> a
+
+data Unit = TT
+data String
+data Empty (a :: String)
+
+unsafeCoerce :: forall a b . a -> b
+
+-- equality constraints
+type family EqCT (t :: Type) (a :: t) (b :: t)
+
+data Bool = False | True
+
+data Ordering = LT | EQ | GT
+
+data Int
+
+primCompareInt      :: Int   -> Int   -> Ordering
+primAddInt          :: Int   -> Int   -> Int
+
+data List a = Nil | Cons a (List a)
+
+infixr 5 :
+
+fromInt x = x
+
+from = \x -> x: from (primAddInt 1 x)
+
+main = case from 0 of
+    (_:_:_:i:_) -> case primCompareInt i 3 of EQ -> True
+
+