Commit f81e778a authored by simonmar's avatar simonmar
Browse files

[project @ 2001-08-28 10:49:50 by simonmar]

Modify this test to do something reasonable: it now tests that hiding
a constructor leaves the corresponding type constructor visible (this
is a bug reported by George Russell a while back).  Enable rn037 in all.T.
parent a2ae2702
...@@ -30,6 +30,10 @@ test "rn034" { vtc("") } ...@@ -30,6 +30,10 @@ test "rn034" { vtc("") }
test "rn035" { vtc("") } test "rn035" { vtc("") }
test "rn036" { vtc("") } test "rn036" { vtc("") }
-- really a mulit-module test:
test "Rn037Help" { vtc("") }
test "rn037" { vtc("") }
test "timing001" { vtc("") } test "timing001" { vtc("") }
test "timing002" { vtc("") } test "timing002" { vtc("") }
test "timing003" { vtc("") } test "timing003" { vtc("") }
...@@ -5,8 +5,5 @@ import Rn037Help hiding( C ) ...@@ -5,8 +5,5 @@ import Rn037Help hiding( C )
-- C is the constructor, but we should -- C is the constructor, but we should
-- still be able to hide it -- still be able to hide it
f x = Rn037Help.C -- we should still be able to refer to the type constructor, though
type Foo = T
Supports Markdown
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