X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=expruniq%2Fuexpr.icl;fp=expruniq%2Fuexpr.icl;h=0000000000000000000000000000000000000000;hb=4b62b5d397d86147e393c05b3083af74a3a0c4af;hp=e4c5f3940c68b39677aab053fd55c9259eddfe15;hpb=e5305ee9d4290e1aa803a2e62a14f32e5cd29782;p=clean-tests.git

diff --git a/expruniq/uexpr.icl b/expruniq/uexpr.icl
deleted file mode 100644
index e4c5f39..0000000
--- a/expruniq/uexpr.icl
+++ /dev/null
@@ -1,101 +0,0 @@
-module uexpr
-
-import StdEnv
-
-import Data.Functor
-import Data.Functor.Identity
-import Control.Applicative
-import Control.Monad => qualified join
-import Control.Monad.State
-import Control.Monad.Trans
-import Control.Monad.Writer
-import Data.Array
-import Data.Func
-import Data.List
-import Text
-
-:: In a b = In infix 0 a b
-
-class uexpr v where
-	lit :: a -> v a | toString a
-	(+.) infixl 6 :: (v a) (v a) -> v a | + a
-
-class uvar v w where
-	var :: (.(v .a) -> .(In .(v .a) (w b))) -> w b
-
-class uarr v where
-	arr :: *(arr a) -> *v *(arr a) | Array arr a & toString a
-	(++.) infixr 5 :: *(v *(arr a)) *(v *(arr a)) -> *v *(arr a) | Array arr a
-	(!.)  infixl 8 :: .(v .(arr a)) .(v Int) -> .v a | Array arr a
-	(=.)  infixl 8 :: (v .(arr a)) (v Int, v a) -> (v .(arr a)) | Array arr a
-
-:: Printer a = P (WriterT [String] (StateT Int Identity) ())
-runPrinter (P a) = concat $ snd $ evalState (runWriterT a) 0
-instance uexpr Printer where
-	lit a = P $ tell [toString a]
-	+. (P l) (P r) = P $ tell ["("] >>| l >>| tell ["+"] >>| r >>| tell [")"]
-
-instance uvar Printer Printer where
-	var def = P (
-		        liftT (getState)
-		>>= \s->liftT (put (s+1))
-		>>| let (P i In P b) = def $ P $ tell $ varName s []
-		    in  tell ["let ":varName s [" = "]] >>| i >>| tell [" in\n"] >>| b
-		)
-	where
-		varName i c = ["v",toString i:c]
-
-instance uarr Printer where
-	arr a = P $ tell ["{",join "," [toString a\\a<-:a],"}"]
-	++. (P l) (P r) = P $ tell ["("] >>| l >>| tell ["+++"] >>| r >>| tell [")"]
-	!.  (P a) (P i) = P $ a >>| tell [".["] >>| i >>| tell ["]"]
-	=.  (P a) (P idx, P el) = P $ a >>| tell ["&"] >>| idx >>| tell ["="] >>| el
-
-:: Eval a = E a
-runEval (E a) = a
-instance uexpr Eval where
-	lit a = E $ a
-	+. (E l) (E r) = E $ l + r
-
-instance uvar Eval Eval where
-	var def = let (i In b) = def i in b
-
-instance uarr Eval where
-	arr a = E a
-	++. (E l) (E r) = E (appendArr l r)
-	!.  (E a) (E i) = E (select a i)
-	=.  (E a) (E idx, E el) = undef//E (update a idx el)
-
-runBoth (Both l r) = (runPrinter l, runEval r)
-
-//Start = both (var \v=arr {!1,2,3} In v ++. arr {!4,5,6})
-//Start = runPrinter (var \v=arr {!1,2,3} In v ++. arr {!4,5,6})
-Start =
-	( "\n"
-//	, runPrinter $ var \v=arr {!1,2,3} In v ++. v ?. lit 0 =. lit 42
-	, "\n"
-//	, runEval $ var \v=arr {!1,2,3} In v ++. v ?. lit 0 =. lit 42
-	, "\n"
-	, runPrinter $ var \v=arr {!1,2,3} In v ++. arr {!4,5,65}
-	, "\n"
-	, runPrinter $ var \v=arr {!1,2,3} In v ++. arr {!4,5,6}
-	, "\n"
-	, runEval $ var \v=arr {!1,2,3} In arr {!4,5,6} ++. v
-	, "\n"
-	, runPrinter $ var \v=arr {!1,2,3} In arr {!4,5,6} ++. v
-	)
-
-//i :: v Int | uexpr v
-//i = lit 41 +. lit 1
-//
-//ai :: v {Int} | uexpr, uarr v
-//ai = arr {1,2,3}
-//
-//aip :: v {Int} | uexpr, uarr v
-//aip = arr {1,2,3} ++. arr {4,5,6}
-//
-//aii :: v Int | uexpr, uarr v
-//aii = ai !. lit 41
-//
-//somearray :: *{Int}
-//somearray = {1,2,3}