On 13 March 2011 18:59, Adam Megacz <[email protected]> wrote: > 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 using it on Tutorial.hs, I'm using it on my own GArrows-Pow.hs, which I showed the contents of. Did you mean to say that -dcoqpass is broken even on trivial examples such as that one? >> 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/ OK, I was confused because you provided a link to the /garrows/ directory, not that directory. > FWIW, this is just the Control.Arrow instance for (->) taken as a GArrow > via this instance: Yes it is, I just copied exactly that code into my file. As I said in the comment in my last email my current build does not include your recent change to add that instance. >> 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 I did not realise that "flatten" was only going to be added once you fixed -fcoqpass. It certainly doesn't say anything like that on your page. Cheers, Max _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
