On 9 March 2011 00:10, Adam Megacz <[email protected]> wrote: > I'll have only intermittent access to email the next 48 hours, but will reply > to any questions/comments/bug-reports Thursday evening.
After reading the tutorial I do have some questions: 1. What is the %%a syntax in the dotproduct' function? I would understand what was going on if that was ~~ instead. 2. I think your tutorial would benefit from some examples showing how to actually run sth - your run functions are all currently == undefined! I would suppose that there is some trivial way to run sufficiently-polymorphic modally-typed stuff as simple Haskell by taking g = (->), which would be good to show. (Speaking of which, wouldn't it make sense to have that GArrow instance in GHC.HetMet.GArrow?) 3. How is the Core -> GArrow extraction working? In particular, I'm interested in if you need to put a GArrowDrop constraint on extracted GArrow terms that use variables non-linearly. 4. Do you actually use RebindableSyntax? If so, what is it needed for? I couldn't see any obvious place it was being used. 5. What is []_c in your comment under staged_accept? The old name for the <[]>_c type constructor? Other comments: 1. I would like GArrow as part of base even without HetMet, since there are so many arrows that do not have ga_reify.. 2. I like your hack with (<[ x ]> :: t) to get two namespaces :-) Anyway, this looks like really cool work! I will see if I can build your modified GHC so I can play around (and perhaps answer some of my own questions above). Cheers, Max _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
