From 6045e478501c8410926a5c5b3ccc7a00e8a83de8 Mon Sep 17 00:00:00 2001 From: Don Stewart Date: Thu, 19 May 2005 02:24:25 +0000 Subject: [PATCH] Remove typecase test --- examples/typecase/000/Main.hs | 14 -------------- examples/typecase/000/Makefile | 2 -- examples/typecase/000/expected | 1 - 3 files changed, 17 deletions(-) delete mode 100644 examples/typecase/000/Main.hs delete mode 100644 examples/typecase/000/Makefile delete mode 100644 examples/typecase/000/expected diff --git a/examples/typecase/000/Main.hs b/examples/typecase/000/Main.hs deleted file mode 100644 index 7143bb6..0000000 --- a/examples/typecase/000/Main.hs +++ /dev/null @@ -1,14 +0,0 @@ -import AltData.Dynamic -import Data.Char - -main = putStrLn f - -f = let v = toDyn (7 :: Int) - in typecase (v) [ - _Bool --> \(b::Bool) -> show (not b)++" :: Bool", - _Char --> \(c::Char) -> show (toUpper c)++" :: Char", - _Int --> \(i::Int) -> show (-i)++" :: Int", - _String --> \(s::String) -> show (reverse s)++" :: [Char]", - _IntToInt --> \(f::Int->Int) -> show (f 7) ++":: Int -> Int" - ] ("couldn't find a typing") - diff --git a/examples/typecase/000/Makefile b/examples/typecase/000/Makefile deleted file mode 100644 index f775e10..0000000 --- a/examples/typecase/000/Makefile +++ /dev/null @@ -1,2 +0,0 @@ -TOP=../../.. -include ../../eval.mk diff --git a/examples/typecase/000/expected b/examples/typecase/000/expected deleted file mode 100644 index 8e91335..0000000 --- a/examples/typecase/000/expected +++ /dev/null @@ -1 +0,0 @@ --7 :: Int