Commit 5519110d authored by simonpj's avatar simonpj
Browse files

[project @ 2001-07-25 15:56:39 by simonpj]

Add tc132
parent a325b73c
...@@ -135,3 +135,4 @@ test "tc128" { myvtc("") } ...@@ -135,3 +135,4 @@ test "tc128" { myvtc("") }
test "tc129" { myvtc("") } test "tc129" { myvtc("") }
test "tc130" { myvtc("") } test "tc130" { myvtc("") }
test "tc131" { myvtc("") } test "tc131" { myvtc("") }
test "tc132" { myvtc("") }
-- !!! Monomorphism restriction
-- This one should work fine, despite the monomorphism restriction
-- Fails with GHC 5.00.1
module Test where
import ST
-- Should get
-- apa :: forall s. ST s ()
apa = newSTRef () >> return ()
foo1 = runST apa
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