Commit 3a68f091 authored by simonpj's avatar simonpj
Browse files

[project @ 2000-05-23 11:51:13 by simonpj]

Add tests for result type sigs
parent ef675dbd
-- !!! Scoped type variables in result signatures
module ShouldCompile where
import PrelST
import PrelArr
f:: ST s Int
f:: ST s Int = do
v <- newSTRef 5
let g :: ST s Int
-- ^ should be in scope
g = readSTRef v
g
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