ghc/tests/typecheck/should_compile/tc105.hs

   1 {-# OPTIONS -fglasgow-exts #-}
   2
   3 -- !!! Scoped type variables in result signatures
   4 module ShouldCompile where
   5
   6 import PrelST
   7 import PrelArr
   8
   9 f:: ST s Int
  10 f:: ST s Int = do
  11     v <- newSTRef 5
  12     let g :: ST s Int
  13              -- ^ should be in scope
  14         g = readSTRef v
  15     g