Epilogue

Hugs and GHC seem to disagree on this one:

ERROR “./DeBruijn.lhs”:111 - Cannot justify constraints in explicitly typed binding
*** Expression : (\)
*** Type : (Named a, Bind b) => Bwd a -> b -> b
*** Given context : (Named a, Bind b)
*** Constraints : Named a

Peter directed me towards:
http://www.mail-archive.com/haskell@haskell.org/msg15390.html

So presumably some more type annotations are required. Can’t work out what though…

This entry was posted on Thursday, February 24th, 2005 at 1:57 pm and is filed under Hacking. You can follow any responses to this entry through the RSS 2.0 feed. You can skip to the end and leave a response. Pinging is currently not allowed.