ghc/tests/typecheck/should_compile/tc105.hs

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