patch applied (ghc): Remove GADT refinements, part 2

chak at cse.unsw.edu.au chak at cse.unsw.edu.au
Thu Feb 28 07:51:53 EST 2008

Previous message: patch applied (ghc): Fix Trac #2130: improve derived Ord for primmitive types
Next message: [nightly] 28-Feb-2008 build of STABLE on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Wed Feb 27 21:53:26 PST 2008  Manuel M T Chakravarty <chak at cse.unsw.edu.au>
  * Remove GADT refinements, part 2

    M ./compiler/typecheck/TcSimplify.lhs -85 +29

Previous message: patch applied (ghc): Fix Trac #2130: improve derived Ord for primmitive types
Next message: [nightly] 28-Feb-2008 build of STABLE on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-ghc mailing list