Commit 95a03e68 authored by sewardj's avatar sewardj
Browse files

[project @ 2001-06-22 09:49:57 by sewardj]

Assimilate renamer tests.
parent 883433fb
......@@ -11,3 +11,6 @@ typecheck/should_fail
(are needed by tcfail082 but am not sure how to do multi-module
tests yet)
rename/should_compile
rn037 issues
include ($confdir ++ "/../vanilla-test.T")
-- Args to vtc are: extra compile flags
--Rn037Help.hs
test "rn003" { vtc("") }
test "rn005" { vtc("") }
test "rn006" { vtc("") }
test "rn009" { vtc("") }
test "rn010" { vtc("") }
test "rn011" { vtc("") }
test "rn012" { vtc("") }
test "rn013" { vtc("") }
test "rn017" { vtc("") }
test "rn019" { vtc("") }
test "rn020" { vtc("") }
test "rn022" { vtc("") }
test "rn023" { vtc("") }
test "rn024" { vtc("") }
test "rn025" { vtc("") }
test "rn026" { vtc("") }
test "rn027" { vtc("") }
test "rn028" { vtc("") }
test "rn029" { vtc("") }
test "rn030" { vtc("") }
test "rn031" { vtc("") }
test "rn032" { vtc("") }
test "rn033" { vtc("") }
test "rn034" { vtc("") }
test "rn035" { vtc("") }
test "rn036" { vtc("") }
test "rn037" { vtc("") }
test "timing001" { vtc("") }
test "timing002" { vtc("") }
test "timing003" { vtc("") }
-- There used to be a -noC flag, but I removed it because
-- Rn037Help needs to generate an interface file, and
-- if -noC is on I can't see how to. (Driver grottiness.)
-- rn017_HC_OPTS = -hi -hi-with-exports
-- rn025_HC_OPTS = -hi -hi-with-exports
-- Rn037Help_HC_OPTS = -hi
--
-- CLEAN_FILES += Confused.hi Foo.hi Imp10.hi Imp100.hi Imp1000.hi \
-- Imp500.hi Main.hi Mod10.hi OK.hi ShouldSucceed.hi Silly.hi Test.hi
module Foo (f) where
-- export food
f x = x
-- !!! weird patterns with no variables
1 = f 1
[] = f []
1 = f (f 1)
[] = f (f [])
-- !!! rn005: simplest case: a few non-recursive bindings
module Test where
f = []
g x = x
h x y = x
i x y z = x
-- !!! rn006: two sets of mutually-recursive blobs:
-- !!! f, g, h are mut rec
-- !!! i, j, k are mut rec
module Test where
f x = g x x
i x = j x x
g x y = h x x y
j x y = k x x y
h x y z = f z
k x y z = i z
module Imp100 where
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
module Imp1000 where
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
module Imp500 where
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
import Int10
module Mod10 where
data T1 a = C1 a
data T2 a b = T2C1 a | T2C2 b
data T3 a b c = T3C1 a | T3C2 b | T3C3 c
data T4 a b c d = T4C1 a | T4C2 b | T4C3 c | T4C4 d
data T5 a b c d e = T5C1 a | T5C2 b | T5C3 c | T5C4 d | T5C5 e
data T6 a = T6C6 a
data T7 a b = T7C6 a | T7C7 b
data T8 a b c = T8C1 a | T8C2 b | T8C3 c
data T9 a b c d = T9C1 a | T9C2 b | T9C3 c | T9C4 d
data T10 a b c d e = T10C1 a | T10C2 b | T10C3 c | T10C4 d | T10C5 e
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment