[hoc-devel] Issue 23 in hoc: GHC 6.12.1 compile failure due to TH changes

[<cod...@go...>]

Status: New
Owner: ----
Labels: Type-Defect Priority-Medium

New issue 23 by bill.tutt: GHC 6.12.1 compile failure due to TH changes
http://code.google.com/p/hoc/issues/detail?id=23

What steps will reproduce the problem?
Compile trunk as of 12-30-09 with GHC 6.12.1.

What is the expected output? What do you see instead?
Compile error:
[15 of 31] Compiling HOC.CannedCIFs   ( HOC/HOC/CannedCIFs.hs,
dist/build/HOC/CannedCIFs.o )

HOC/HOC/CannedCIFs.hs:80:49:
     Couldn't match expected type `Name'
            against inferred type `TyVarBndr'
       Expected type: [(Name, Type)]
       Inferred type: [(TyVarBndr, b)]
     In the second argument of `lookup', namely `mapping'
     In the second argument of `fromMaybe', namely
         `(lookup name mapping)'

HOC/HOC/CannedCIFs.hs:125:31:
     Couldn't match expected type `Name'
            against inferred type `TyVarBndr'
       Expected type: [(Name, b)]
       Inferred type: [(TyVarBndr, b1)]
     In the second argument of `lookup', namely `mapping'
     In the expression: lookup name mapping

This appears to be due to:
data Type
= ForallT [Name] Cxt Type

changing to:
data Type
= ForallT [TyVarBndr] Cxt Type

Along with this:
data TyVarBndr = PlainTV  Name            -- a
                | KindedTV Name Kind       -- (a :: k)
       deriving( Show, Eq, Data, Typeable )

data Kind = StarK                         -- '*'
           | ArrowK Kind Kind              -- k1 -> k2
       deriving( Show, Eq, Data, Typeable )



--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings