Max Bolingbroke <[email protected]> writes: > $ ~/Programming/Checkouts/ghc-garrows/inplace/bin/ghc-stage2 > -ddump-types GArrows-Pow.hs -dcoqpass -fforce-recomp ^^^^^^^^^ > What am I doing wrong?
You're still using -dcoqpass, which I asked you not to use on tutorial.hs: http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/45482 > I'm not sure what you mean by HelloWorld - it doesn't seem to be > mentioned on that page. Search for "HelloWorld" in: http://www.cs.berkeley.edu/~megacz/coq-in-ghc/ > instance GArrow (->) (,) where FWIW, this is just the Control.Arrow instance for (->) taken as a GArrow via this instance: http://git.megacz.com/?p=ghc-base.git;a=commitdiff;h=da198a3 > This doesn't compile because the "flatten" function you claim is > exported from GHC.HetMet.CodeTypes doesn't exist. As before: http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/45482 It will be posted tomorrow. Except for the fact that the git repo for the base library is broken: http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/45498 ... so actually it will be posted whenever that gets fixed. Development is basically halted until then. > You need > > <[ (*) ]> :: forall a. <[ Int -> Int -> Int ]>@a > > And you also need something like this declaration: > > <[ fromInteger ]> :: forall a. <[ Integer -> Int ]>@a Thanks; typos fixed. - a _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
