Move test_examplefiles to new tests/lexers scheme.examplefiles

1 files changed, 1690 insertions, 0 deletions

diff --git a/tests/lexers/idris/example.txt b/tests/lexers/idris/example.txt
new file mode 100644
index 00000000..22c94115
--- /dev/null
+++ b/tests/lexers/idris/example.txt
@@ -0,0 +1,1690 @@
+---input---
+module Main
+
+data Ty = TyInt | TyBool | TyFun Ty Ty
+
+interpTy : Ty -> Type
+interpTy TyInt       = Int
+interpTy TyBool      = Bool
+interpTy (TyFun s t) = interpTy s -> interpTy t
+
+using (G : Vect n Ty)
+
+  data Env : Vect n Ty -> Type where
+      Nil  : Env Nil
+      (::) : interpTy a -> Env G -> Env (a :: G)
+
+  data HasType : (i : Fin n) -> Vect n Ty -> Ty -> Type where
+      stop : HasType fZ (t :: G) t
+      pop  : HasType k G t -> HasType (fS k) (u :: G) t
+
+  lookup : HasType i G t -> Env G -> interpTy t
+  lookup stop    (x :: xs) = x
+  lookup (pop k) (x :: xs) = lookup k xs
+
+  data Expr : Vect n Ty -> Ty -> Type where
+      Var : HasType i G t -> Expr G t
+      Val : (x : Int) -> Expr G TyInt
+      Lam : Expr (a :: G) t -> Expr G (TyFun a t)
+      App : Expr G (TyFun a t) -> Expr G a -> Expr G t
+      Op  : (interpTy a -> interpTy b -> interpTy c) -> Expr G a -> Expr G b ->
+            Expr G c
+      If  : Expr G TyBool -> Expr G a -> Expr G a -> Expr G a
+      Bind : Expr G a -> (interpTy a -> Expr G b) -> Expr G b
+
+  dsl expr
+      lambda      = Lam
+      variable    = Var
+      index_first = stop
+      index_next  = pop
+
+  (<$>) : |(f : Expr G (TyFun a t)) -> Expr G a -> Expr G t
+  (<$>) = \f, a => App f a
+
+  pure : Expr G a -> Expr G a
+  pure = id
+
+  syntax IF [x] THEN [t] ELSE [e] = If x t e
+
+  (==) : Expr G TyInt -> Expr G TyInt -> Expr G TyBool
+  (==) = Op (==)
+
+  (<) : Expr G TyInt -> Expr G TyInt -> Expr G TyBool
+  (<) = Op (<)
+
+  instance Num (Expr G TyInt) where
+    (+) x y = Op (+) x y
+    (-) x y = Op (-) x y
+    (*) x y = Op (*) x y
+
+    abs x = IF (x < 0) THEN (-x) ELSE x
+
+    fromInteger = Val . fromInteger
+
+  ||| Evaluates an expression in the given context.
+  interp : Env G -> {static} Expr G t -> interpTy t
+  interp env (Var i)     = lookup i env
+  interp env (Val x)     = x
+  interp env (Lam sc)    = \x => interp (x :: env) sc
+  interp env (App f s)   = (interp env f) (interp env s)
+  interp env (Op op x y) = op (interp env x) (interp env y)
+  interp env (If x t e)  = if (interp env x) then (interp env t) else (interp env e)
+  interp env (Bind v f)  = interp env (f (interp env v))
+
+  eId : Expr G (TyFun TyInt TyInt)
+  eId = expr (\x => x)
+
+  eTEST : Expr G (TyFun TyInt (TyFun TyInt TyInt))
+  eTEST = expr (\x, y => y)
+
+  eAdd : Expr G (TyFun TyInt (TyFun TyInt TyInt))
+  eAdd = expr (\x, y => Op (+) x y)
+
+  eDouble : Expr G (TyFun TyInt TyInt)
+  eDouble = expr (\x => App (App eAdd x) (Var stop))
+
+  eFac : Expr G (TyFun TyInt TyInt)
+  eFac = expr (\x => IF x == 0 THEN 1 ELSE [| eFac (x - 1) |] * x)
+
+testFac : Int
+testFac = interp [] eFac 4
+
+--testFacTooBig : Int
+--testFacTooBig = interp [] eFac 100000
+
+ {-testFacTooBig2 : Int
+testFacTooBig2 = interp [] eFac 1000
+-}
+
+main : IO ()
+main = print testFac
+
+
+
+---tokens---
+'module'      Keyword.Reserved
+' '           Text
+'Main'        Name.Namespace
+'\n'          Text
+
+'\n'          Text
+
+'data'        Keyword.Reserved
+' '           Text
+'Ty'          Keyword.Type
+' '           Text
+'='           Operator.Word
+' '           Text
+'TyInt'       Keyword.Type
+' '           Text
+'|'           Operator.Word
+' '           Text
+'TyBool'      Keyword.Type
+' '           Text
+'|'           Operator.Word
+' '           Text
+'TyFun'       Keyword.Type
+' '           Text
+'Ty'          Keyword.Type
+' '           Text
+'Ty'          Keyword.Type
+'\n'          Text
+
+'\n'          Text
+
+'interpTy'    Name.Function
+' '           Text
+':'           Operator.Word
+' '           Text
+'Ty'          Keyword.Type
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Type'        Keyword.Type
+'\n'          Text
+
+'interpTy'    Text
+' '           Text
+'TyInt'       Keyword.Type
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'Int'         Keyword.Type
+'\n'          Text
+
+'interpTy'    Text
+' '           Text
+'TyBool'      Keyword.Type
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'Bool'        Keyword.Type
+'\n'          Text
+
+'interpTy'    Text
+' '           Text
+'('           Operator.Word
+'TyFun'       Keyword.Type
+' '           Text
+'s'           Text
+' '           Text
+'t'           Text
+')'           Operator.Word
+' '           Text
+'='           Operator.Word
+' '           Text
+'interpTy'    Text
+' '           Text
+'s'           Text
+' '           Text
+'->'          Operator.Word
+' '           Text
+'interpTy'    Text
+' '           Text
+'t'           Text
+'\n'          Text
+
+'\n'          Text
+
+'using'       Keyword.Reserved
+' '           Text
+'('           Operator.Word
+'G'           Keyword.Type
+' '           Text
+':'           Operator.Word
+' '           Text
+'Vect'        Keyword.Type
+' '           Text
+'n'           Text
+' '           Text
+'Ty'          Keyword.Type
+')'           Operator.Word
+'\n'          Text
+
+'\n'          Text
+
+' '           Text
+' '           Text
+'data'        Keyword.Reserved
+' '           Text
+'Env'         Keyword.Type
+' '           Text
+':'           Operator.Word
+' '           Text
+'Vect'        Keyword.Type
+' '           Text
+'n'           Text
+' '           Text
+'Ty'          Keyword.Type
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Type'        Keyword.Type
+' '           Text
+'where'       Keyword.Reserved
+'\n'          Text
+
+'      '      Text
+'Nil'         Name.Function
+'  '          Text
+':'           Operator.Word
+' '           Text
+'Env'         Keyword.Type
+' '           Text
+'Nil'         Keyword.Type
+'\n'          Text
+
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'(::)'        Operator.Word
+' '           Text
+':'           Operator.Word
+' '           Text
+'interpTy'    Text
+' '           Text
+'a'           Text
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Env'         Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Env'         Keyword.Type
+' '           Text
+'('           Operator.Word
+'a'           Text
+' '           Text
+'::'          Operator.Word
+' '           Text
+'G'           Keyword.Type
+')'           Operator.Word
+'\n'          Text
+
+'\n'          Text
+
+' '           Text
+' '           Text
+'data'        Keyword.Reserved
+' '           Text
+'HasType'     Keyword.Type
+' '           Text
+':'           Operator.Word
+' '           Text
+'('           Operator.Word
+'i'           Text
+' '           Text
+':'           Operator.Word
+' '           Text
+'Fin'         Keyword.Type
+' '           Text
+'n'           Text
+')'           Operator.Word
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Vect'        Keyword.Type
+' '           Text
+'n'           Text
+' '           Text
+'Ty'          Keyword.Type
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Ty'          Keyword.Type
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Type'        Keyword.Type
+' '           Text
+'where'       Keyword.Reserved
+'\n'          Text
+
+'      '      Text
+'stop'        Name.Function
+' '           Text
+':'           Operator.Word
+' '           Text
+'HasType'     Keyword.Type
+' '           Text
+'fZ'          Text
+' '           Text
+'('           Operator.Word
+'t'           Text
+' '           Text
+'::'          Operator.Word
+' '           Text
+'G'           Keyword.Type
+')'           Operator.Word
+' '           Text
+'t'           Text
+'\n'          Text
+
+'      '      Text
+'pop'         Name.Function
+'  '          Text
+':'           Operator.Word
+' '           Text
+'HasType'     Keyword.Type
+' '           Text
+'k'           Text
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'t'           Text
+' '           Text
+'->'          Operator.Word
+' '           Text
+'HasType'     Keyword.Type
+' '           Text
+'('           Operator.Word
+'fS'          Text
+' '           Text
+'k'           Text
+')'           Operator.Word
+' '           Text
+'('           Operator.Word
+'u'           Text
+' '           Text
+'::'          Operator.Word
+' '           Text
+'G'           Keyword.Type
+')'           Operator.Word
+' '           Text
+'t'           Text
+'\n'          Text
+
+'\n  '        Text
+'lookup'      Name.Function
+' '           Text
+':'           Operator.Word
+' '           Text
+'HasType'     Keyword.Type
+' '           Text
+'i'           Text
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'t'           Text
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Env'         Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'->'          Operator.Word
+' '           Text
+'interpTy'    Text
+' '           Text
+'t'           Text
+'\n'          Text
+
+' '           Text
+' '           Text
+'lookup'      Text
+' '           Text
+'stop'        Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'('           Operator.Word
+'x'           Text
+' '           Text
+'::'          Operator.Word
+' '           Text
+'xs'          Text
+')'           Operator.Word
+' '           Text
+'='           Operator.Word
+' '           Text
+'x'           Text
+'\n'          Text
+
+' '           Text
+' '           Text
+'lookup'      Text
+' '           Text
+'('           Operator.Word
+'pop'         Text
+' '           Text
+'k'           Text
+')'           Operator.Word
+' '           Text
+'('           Operator.Word
+'x'           Text
+' '           Text
+'::'          Operator.Word
+' '           Text
+'xs'          Text
+')'           Operator.Word
+' '           Text
+'='           Operator.Word
+' '           Text
+'lookup'      Text
+' '           Text
+'k'           Text
+' '           Text
+'xs'          Text
+'\n'          Text
+
+'\n'          Text
+
+' '           Text
+' '           Text
+'data'        Keyword.Reserved
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+':'           Operator.Word
+' '           Text
+'Vect'        Keyword.Type
+' '           Text
+'n'           Text
+' '           Text
+'Ty'          Keyword.Type
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Ty'          Keyword.Type
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Type'        Keyword.Type
+' '           Text
+'where'       Keyword.Reserved
+'\n'          Text
+
+'      '      Text
+'Var'         Name.Function
+' '           Text
+':'           Operator.Word
+' '           Text
+'HasType'     Keyword.Type
+' '           Text
+'i'           Text
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'t'           Text
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'t'           Text
+'\n'          Text
+
+'      '      Text
+'Val'         Name.Function
+' '           Text
+':'           Operator.Word
+' '           Text
+'('           Operator.Word
+'x'           Text
+' '           Text
+':'           Operator.Word
+' '           Text
+'Int'         Keyword.Type
+')'           Operator.Word
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+'\n'          Text
+
+'      '      Text
+'Lam'         Name.Function
+' '           Text
+':'           Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'('           Operator.Word
+'a'           Text
+' '           Text
+'::'          Operator.Word
+' '           Text
+'G'           Keyword.Type
+')'           Operator.Word
+' '           Text
+'t'           Text
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'('           Operator.Word
+'TyFun'       Keyword.Type
+' '           Text
+'a'           Text
+' '           Text
+'t'           Text
+')'           Operator.Word
+'\n'          Text
+
+'      '      Text
+'App'         Name.Function
+' '           Text
+':'           Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'('           Operator.Word
+'TyFun'       Keyword.Type
+' '           Text
+'a'           Text
+' '           Text
+'t'           Text
+')'           Operator.Word
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'a'           Text
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'t'           Text
+'\n'          Text
+
+'      '      Text
+'Op'          Name.Function
+'  '          Text
+':'           Operator.Word
+' '           Text
+'('           Operator.Word
+'interpTy'    Text
+' '           Text
+'a'           Text
+' '           Text
+'->'          Operator.Word
+' '           Text
+'interpTy'    Text
+' '           Text
+'b'           Text
+' '           Text
+'->'          Operator.Word
+' '           Text
+'interpTy'    Text
+' '           Text
+'c'           Text
+')'           Operator.Word
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'a'           Text
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'b'           Text
+' '           Text
+'->'          Operator.Word
+'\n'          Text
+
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'c'           Text
+'\n'          Text
+
+'      '      Text
+'If'          Name.Function
+'  '          Text
+':'           Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'TyBool'      Keyword.Type
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'a'           Text
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'a'           Text
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'a'           Text
+'\n'          Text
+
+'      '      Text
+'Bind'        Name.Function
+' '           Text
+':'           Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'a'           Text
+' '           Text
+'->'          Operator.Word
+' '           Text
+'('           Operator.Word
+'interpTy'    Text
+' '           Text
+'a'           Text
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'b'           Text
+')'           Operator.Word
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'b'           Text
+'\n'          Text
+
+'\n'          Text
+
+' '           Text
+' '           Text
+'dsl'         Keyword.Reserved
+' '           Text
+'expr'        Text
+'\n'          Text
+
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'lambda'      Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'Lam'         Keyword.Type
+'\n'          Text
+
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'variable'    Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'Var'         Keyword.Type
+'\n'          Text
+
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'index_first' Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'stop'        Text
+'\n'          Text
+
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'index_next'  Text
+' '           Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'pop'         Text
+'\n'          Text
+
+'\n'          Text
+
+' '           Text
+' '           Text
+'(<$>)'       Operator.Word
+' '           Text
+':'           Operator.Word
+' '           Text
+'|('          Operator.Word
+'f'           Text
+' '           Text
+':'           Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'('           Operator.Word
+'TyFun'       Keyword.Type
+' '           Text
+'a'           Text
+' '           Text
+'t'           Text
+'))'          Operator.Word
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'a'           Text
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'t'           Text
+'\n'          Text
+
+' '           Text
+' '           Text
+'(<$>)'       Operator.Word
+' '           Text
+'='           Operator.Word
+' '           Text
+'\\'          Operator.Word
+'f'           Text
+','           Text
+' '           Text
+'a'           Text
+' '           Text
+'=>'          Operator.Word
+' '           Text
+'App'         Keyword.Type
+' '           Text
+'f'           Text
+' '           Text
+'a'           Text
+'\n'          Text
+
+'\n  '        Text
+'pure'        Name.Function
+' '           Text
+':'           Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'a'           Text
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'a'           Text
+'\n'          Text
+
+' '           Text
+' '           Text
+'pure'        Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'id'          Text
+'\n'          Text
+
+'\n'          Text
+
+' '           Text
+' '           Text
+'syntax'      Keyword.Reserved
+' '           Text
+'IF'          Keyword.Type
+' '           Text
+'['           Operator.Word
+'x'           Text
+']'           Operator.Word
+' '           Text
+'THEN'        Keyword.Type
+' '           Text
+'['           Operator.Word
+'t'           Text
+']'           Operator.Word
+' '           Text
+'ELSE'        Keyword.Type
+' '           Text
+'['           Operator.Word
+'e'           Text
+']'           Operator.Word
+' '           Text
+'='           Operator.Word
+' '           Text
+'If'          Keyword.Type
+' '           Text
+'x'           Text
+' '           Text
+'t'           Text
+' '           Text
+'e'           Text
+'\n'          Text
+
+'\n'          Text
+
+' '           Text
+' '           Text
+'(==)'        Operator.Word
+' '           Text
+':'           Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'TyBool'      Keyword.Type
+'\n'          Text
+
+' '           Text
+' '           Text
+'(==)'        Operator.Word
+' '           Text
+'='           Operator.Word
+' '           Text
+'Op'          Keyword.Type
+' '           Text
+'(==)'        Operator.Word
+'\n'          Text
+
+'\n'          Text
+
+' '           Text
+' '           Text
+'(<)'         Operator.Word
+' '           Text
+':'           Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+' '           Text
+'->'          Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'TyBool'      Keyword.Type
+'\n'          Text
+
+' '           Text
+' '           Text
+'(<)'         Operator.Word
+' '           Text
+'='           Operator.Word
+' '           Text
+'Op'          Keyword.Type
+' '           Text
+'(<)'         Operator.Word
+'\n'          Text
+
+'\n'          Text
+
+' '           Text
+' '           Text
+'instance'    Keyword.Reserved
+' '           Text
+'Num'         Keyword.Type
+' '           Text
+'('           Operator.Word
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+')'           Operator.Word
+' '           Text
+'where'       Keyword.Reserved
+'\n'          Text
+
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'(+)'         Operator.Word
+' '           Text
+'x'           Text
+' '           Text
+'y'           Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'Op'          Keyword.Type
+' '           Text
+'(+)'         Operator.Word
+' '           Text
+'x'           Text
+' '           Text
+'y'           Text
+'\n'          Text
+
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'(-)'         Operator.Word
+' '           Text
+'x'           Text
+' '           Text
+'y'           Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'Op'          Keyword.Type
+' '           Text
+'(-)'         Operator.Word
+' '           Text
+'x'           Text
+' '           Text
+'y'           Text
+'\n'          Text
+
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'(*)'         Operator.Word
+' '           Text
+'x'           Text
+' '           Text
+'y'           Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'Op'          Keyword.Type
+' '           Text
+'(*)'         Operator.Word
+' '           Text
+'x'           Text
+' '           Text
+'y'           Text
+'\n'          Text
+
+'\n'          Text
+
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'abs'         Text
+' '           Text
+'x'           Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'IF'          Keyword.Type
+' '           Text
+'('           Operator.Word
+'x'           Text
+' '           Text
+'<'           Operator.Word
+' '           Text
+'0'           Literal.Number.Integer
+')'           Operator.Word
+' '           Text
+'THEN'        Keyword.Type
+' '           Text
+'(-'          Operator.Word
+'x'           Text
+')'           Operator.Word
+' '           Text
+'ELSE'        Keyword.Type
+' '           Text
+'x'           Text
+'\n'          Text
+
+'\n'          Text
+
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'fromInteger' Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'Val'         Keyword.Type
+' '           Text
+'.'           Operator.Word
+' '           Text
+'fromInteger' Text
+'\n\n  '      Text
+'||| Evaluates an expression in the given context.' Comment.Single
+'\n'          Text
+
+'  '          Text
+'interp'      Name.Function
+' '           Text
+':'           Operator.Word
+' '           Text
+'Env'         Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'->'          Operator.Word
+' '           Text
+'{'           Operator.Word
+'static'      Keyword.Reserved
+'}'           Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'t'           Text
+' '           Text
+'->'          Operator.Word
+' '           Text
+'interpTy'    Text
+' '           Text
+'t'           Text
+'\n'          Text
+
+' '           Text
+' '           Text
+'interp'      Text
+' '           Text
+'env'         Text
+' '           Text
+'('           Operator.Word
+'Var'         Keyword.Type
+' '           Text
+'i'           Text
+')'           Operator.Word
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'lookup'      Text
+' '           Text
+'i'           Text
+' '           Text
+'env'         Text
+'\n'          Text
+
+' '           Text
+' '           Text
+'interp'      Text
+' '           Text
+'env'         Text
+' '           Text
+'('           Operator.Word
+'Val'         Keyword.Type
+' '           Text
+'x'           Text
+')'           Operator.Word
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'x'           Text
+'\n'          Text
+
+' '           Text
+' '           Text
+'interp'      Text
+' '           Text
+'env'         Text
+' '           Text
+'('           Operator.Word
+'Lam'         Keyword.Type
+' '           Text
+'sc'          Text
+')'           Operator.Word
+' '           Text
+' '           Text
+' '           Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'\\'          Operator.Word
+'x'           Text
+' '           Text
+'=>'          Operator.Word
+' '           Text
+'interp'      Text
+' '           Text
+'('           Operator.Word
+'x'           Text
+' '           Text
+'::'          Operator.Word
+' '           Text
+'env'         Text
+')'           Operator.Word
+' '           Text
+'sc'          Text
+'\n'          Text
+
+' '           Text
+' '           Text
+'interp'      Text
+' '           Text
+'env'         Text
+' '           Text
+'('           Operator.Word
+'App'         Keyword.Type
+' '           Text
+'f'           Text
+' '           Text
+'s'           Text
+')'           Operator.Word
+' '           Text
+' '           Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'('           Operator.Word
+'interp'      Text
+' '           Text
+'env'         Text
+' '           Text
+'f'           Text
+')'           Operator.Word
+' '           Text
+'('           Operator.Word
+'interp'      Text
+' '           Text
+'env'         Text
+' '           Text
+'s'           Text
+')'           Operator.Word
+'\n'          Text
+
+' '           Text
+' '           Text
+'interp'      Text
+' '           Text
+'env'         Text
+' '           Text
+'('           Operator.Word
+'Op'          Keyword.Type
+' '           Text
+'op'          Text
+' '           Text
+'x'           Text
+' '           Text
+'y'           Text
+')'           Operator.Word
+' '           Text
+'='           Operator.Word
+' '           Text
+'op'          Text
+' '           Text
+'('           Operator.Word
+'interp'      Text
+' '           Text
+'env'         Text
+' '           Text
+'x'           Text
+')'           Operator.Word
+' '           Text
+'('           Operator.Word
+'interp'      Text
+' '           Text
+'env'         Text
+' '           Text
+'y'           Text
+')'           Operator.Word
+'\n'          Text
+
+' '           Text
+' '           Text
+'interp'      Text
+' '           Text
+'env'         Text
+' '           Text
+'('           Operator.Word
+'If'          Keyword.Type
+' '           Text
+'x'           Text
+' '           Text
+'t'           Text
+' '           Text
+'e'           Text
+')'           Operator.Word
+' '           Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'if'          Keyword.Reserved
+' '           Text
+'('           Operator.Word
+'interp'      Text
+' '           Text
+'env'         Text
+' '           Text
+'x'           Text
+')'           Operator.Word
+' '           Text
+'then'        Keyword.Reserved
+' '           Text
+'('           Operator.Word
+'interp'      Text
+' '           Text
+'env'         Text
+' '           Text
+'t'           Text
+')'           Operator.Word
+' '           Text
+'else'        Keyword.Reserved
+' '           Text
+'('           Operator.Word
+'interp'      Text
+' '           Text
+'env'         Text
+' '           Text
+'e'           Text
+')'           Operator.Word
+'\n'          Text
+
+' '           Text
+' '           Text
+'interp'      Text
+' '           Text
+'env'         Text
+' '           Text
+'('           Operator.Word
+'Bind'        Keyword.Type
+' '           Text
+'v'           Text
+' '           Text
+'f'           Text
+')'           Operator.Word
+' '           Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'interp'      Text
+' '           Text
+'env'         Text
+' '           Text
+'('           Operator.Word
+'f'           Text
+' '           Text
+'('           Operator.Word
+'interp'      Text
+' '           Text
+'env'         Text
+' '           Text
+'v'           Text
+'))'          Operator.Word
+'\n'          Text
+
+'\n  '        Text
+'eId'         Name.Function
+' '           Text
+':'           Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'('           Operator.Word
+'TyFun'       Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+')'           Operator.Word
+'\n'          Text
+
+' '           Text
+' '           Text
+'eId'         Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'expr'        Text
+' '           Text
+'(\\'         Operator.Word
+'x'           Text
+' '           Text
+'=>'          Operator.Word
+' '           Text
+'x'           Text
+')'           Operator.Word
+'\n'          Text
+
+'\n  '        Text
+'eTEST'       Name.Function
+' '           Text
+':'           Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'('           Operator.Word
+'TyFun'       Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+' '           Text
+'('           Operator.Word
+'TyFun'       Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+'))'          Operator.Word
+'\n'          Text
+
+' '           Text
+' '           Text
+'eTEST'       Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'expr'        Text
+' '           Text
+'(\\'         Operator.Word
+'x'           Text
+','           Text
+' '           Text
+'y'           Text
+' '           Text
+'=>'          Operator.Word
+' '           Text
+'y'           Text
+')'           Operator.Word
+'\n'          Text
+
+'\n  '        Text
+'eAdd'        Name.Function
+' '           Text
+':'           Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'('           Operator.Word
+'TyFun'       Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+' '           Text
+'('           Operator.Word
+'TyFun'       Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+'))'          Operator.Word
+'\n'          Text
+
+' '           Text
+' '           Text
+'eAdd'        Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'expr'        Text
+' '           Text
+'(\\'         Operator.Word
+'x'           Text
+','           Text
+' '           Text
+'y'           Text
+' '           Text
+'=>'          Operator.Word
+' '           Text
+'Op'          Keyword.Type
+' '           Text
+'(+)'         Operator.Word
+' '           Text
+'x'           Text
+' '           Text
+'y'           Text
+')'           Operator.Word
+'\n'          Text
+
+'\n  '        Text
+'eDouble'     Name.Function
+' '           Text
+':'           Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'('           Operator.Word
+'TyFun'       Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+')'           Operator.Word
+'\n'          Text
+
+' '           Text
+' '           Text
+'eDouble'     Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'expr'        Text
+' '           Text
+'(\\'         Operator.Word
+'x'           Text
+' '           Text
+'=>'          Operator.Word
+' '           Text
+'App'         Keyword.Type
+' '           Text
+'('           Operator.Word
+'App'         Keyword.Type
+' '           Text
+'eAdd'        Text
+' '           Text
+'x'           Text
+')'           Operator.Word
+' '           Text
+'('           Operator.Word
+'Var'         Keyword.Type
+' '           Text
+'stop'        Text
+'))'          Operator.Word
+'\n'          Text
+
+'\n  '        Text
+'eFac'        Name.Function
+' '           Text
+':'           Operator.Word
+' '           Text
+'Expr'        Keyword.Type
+' '           Text
+'G'           Keyword.Type
+' '           Text
+'('           Operator.Word
+'TyFun'       Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+' '           Text
+'TyInt'       Keyword.Type
+')'           Operator.Word
+'\n'          Text
+
+' '           Text
+' '           Text
+'eFac'        Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'expr'        Text
+' '           Text
+'(\\'         Operator.Word
+'x'           Text
+' '           Text
+'=>'          Operator.Word
+' '           Text
+'IF'          Keyword.Type
+' '           Text
+'x'           Text
+' '           Text
+'='           Operator.Word
+'='           Operator.Word
+' '           Text
+'0'           Literal.Number.Integer
+' '           Text
+'THEN'        Keyword.Type
+' '           Text
+'1'           Literal.Number.Integer
+' '           Text
+'ELSE'        Keyword.Type
+' '           Text
+'[|'          Operator.Word
+' '           Text
+'eFac'        Text
+' '           Text
+'('           Operator.Word
+'x'           Text
+' '           Text
+'-'           Operator.Word
+' '           Text
+'1'           Literal.Number.Integer
+')'           Operator.Word
+' '           Text
+'|]'          Operator.Word
+' '           Text
+'*'           Operator.Word
+' '           Text
+'x'           Text
+')'           Operator.Word
+'\n'          Text
+
+'\n'          Text
+
+'testFac'     Name.Function
+' '           Text
+':'           Operator.Word
+' '           Text
+'Int'         Keyword.Type
+'\n'          Text
+
+'testFac'     Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'interp'      Text
+' '           Text
+'[]'          Operator.Word
+' '           Text
+'eFac'        Text
+' '           Text
+'4'           Literal.Number.Integer
+'\n\n'        Text
+
+'--testFacTooBig : Int' Comment.Single
+'\n'          Text
+
+'--testFacTooBig = interp [] eFac 100000' Comment.Single
+'\n\n '       Text
+'{-'          Comment.Multiline
+'testFacTooBig2 : Int\ntestFacTooBig2 = interp [] eFac 1000\n' Comment.Multiline
+
+'-}'          Comment.Multiline
+'\n'          Text
+
+'\n'          Text
+
+'main'        Name.Function
+' '           Text
+':'           Operator.Word
+' '           Text
+'IO'          Keyword.Type
+' '           Text
+'()'          Operator.Word
+'\n'          Text
+
+'main'        Text
+' '           Text
+'='           Operator.Word
+' '           Text
+'print'       Text
+' '           Text
+'testFac'     Text
+'\n'          Text