cvs commit: fptools/ghc/compiler/typecheck TcEnv.lhs TcExpr.lhs TcInstDcls.lhs TcMatches.lhs TcMonad.lhs TcMonoType.lhs TcRules.lhs TcType.lhs

[Marcin 'Qrczak' Kowalczyk]

Mon, 21 May 2001 02:19:15 -0700, Simon Peyton Jones <simonpj@glass.cse.ogi.edu> pisze:

>   The main effect of this commit is to implement the idea (originally
>   Marcin's suggestion) that type variables in pattern type signatures
>   are simply names for types; they don't have to name a type that is
>   itself a type variable.

Thanks!

>   As a result pattern type signatures should work in do-notation
>   (which they didn't before).

They don't:

Prelude> ST.runST (do (r :: ST.STRef s Int) <- ST.newSTRef 10; ST.readSTRef r)

<no file>:0: Type variable not in scope: `s'

-- 
 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK