Changes between Initial Version and Version 1 of Ticket #1369


Ignore:
Timestamp:
May 22, 2007 12:08:25 PM (8 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #1369 – Description

    initial v1  
    1 Compiling the module below works fine in GHC 6.4.2. 
    2  
    3 In GHC 6.6 and 6.6.1, it gives a type error. 
     1Compiling the module below works fine in GHC 6.4.2.  In GHC 6.6 and 6.6.1, it gives a type error. 
    42 
    53/Koen 
    64 
    7 >>> 
     5{{{ 
    86{-# OPTIONS -fglasgow-exts #-} 
    97module Bug where 
     
    119import Control.Monad.ST 
    1210import Data.STRef 
    13  
    14 --------------------------------------------------------------------------- 
    1511 
    1612newtype M s a = 
     
    2622  MkM m = mm 
    2723 
    28 --------------------------------------------------------------------------- 
    29  
    30 -- the instance declaration and function definition of "inc" are just here 
    31 -- for giving context; removing them still makes runM not type check in GHC 6.6 
     24-- the instance declaration and function definition  
     25-- of "inc" are just here for giving context;  
     26-- removing them still makes runM not type check in GHC 6.6 
    3227 
    3328instance Monad (M s) where 
     
    4843     return n 
    4944  ) 
    50  
    51 --------------------------------------------------------------------------- 
     45}}}