X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=parserParser%2Ftest.icl;h=fb2eafa16d00f92f8721353db5af8608e9f8907d;hb=HEAD;hp=5eb04d63cad902b621e7b385429e6f6aedf2b9f2;hpb=85be4012fc8ee04ef900d0586f84a00af8aa7862;p=clean-tests.git

diff --git a/parserParser/test.icl b/parserParser/test.icl
deleted file mode 100644
index 5eb04d6..0000000
--- a/parserParser/test.icl
+++ /dev/null
@@ -1,45 +0,0 @@
-module test
-
-import StdEnv
-
-import Data.Functor
-import Control.Applicative
-import Control.Monad
-import Control.Monad.State
-
-import Text.Parsers.Simple.Core
-
-:: In a b = (:.) infix 0 a b
-
-:: Gram
-	= Def (Gram -> In Gram Gram)
-	| Def2 ((Gram,Gram) -> In (Gram, Gram) Gram)
-	| Lit String
-	| Int
-	| (-.) infixr 2 Gram Gram
-	| (|.) infix 1 Gram Gram
-:: Gast
-	= INT Int
-	| LIT String
-	| BIN Gast Gast
-
-parseFromGram :: Gram -> Parser String Gast
-parseFromGram (Def g)  = let (body :. gram) = g body in parseFromGram gram
-parseFromGram  Int     = INT o toInt <$> pSatisfy (\s->toString (toInt s) == s)
-parseFromGram (Lit i)  = LIT <$> pSatisfy ((==)i)
-parseFromGram (a -. b) = BIN <$> parseFromGram a <*> parseFromGram b
-parseFromGram (a |. b) = parseFromGram a <|> parseFromGram b
-
-//Start = runParser (parseFromGram gram) [".","."]
-Start = parse (parseFromGram gram) ["5"]
-where
-	gram =
-		Def \lit =  Int
-		         |. Lit "(" -. expr -. Lit ")"
-		Def \fac =  lit -. Lit "*" -. fac
-		         |. lit -. Lit "/" -. fac
-		         |. lit :.
-		Def \expr=  fac -. Lit "+" -. expr
-		         |. fac -. Lit "-" -. expr
-		         |. fac :.
-		expr