Re: [commit: ghc] master: Pretty-print the following TyThings via their IfaceDecl counterpart: * AnId * ACoAxiom * AConLike (065c35a)

2014-03-15 Thread Joachim Breitner
Hi Gergő, I saw some patches from you yesterday, but there are still validate failures: Unexpected failures: indexed-types/should_compile T3017 [stderr mismatch] (normal) roles/should_compile Roles1 [stderr mismatch] (normal) roles/should_compile Roles2 [stderr mismat

Re: Arrow notation vs RebindableSyntax

2014-03-15 Thread Ross Paterson
On Thu, Mar 13, 2014 at 04:36:54PM -0500, Nicolas Frisby wrote: > The 7.8-rc2 User Guide for rebindable syntax includes: > > Arrow notation (see Section 7.16, "Arrow notation") uses whatever > arr, (>>>), first, app, (|||) and loop functions are in scope. > But unlike the other constru

Re: FFI: c/c++ struct on stack as an argument or return value

2014-03-15 Thread Yuras Shumovich
Manuel, I think the compiler is the right place. It is impossible to have efficient implementation in a library. For dynamic wrapper (foreign import "wrapper" stuff) ghc generates piece of executable code at runtime. There are native implementations for a number of platforms, and libffi is used a

Re: [commit: ghc] master: Pretty-print the following TyThings via their IfaceDecl counterpart: * AnId * ACoAxiom * AConLike (065c35a)

2014-03-15 Thread Dr. ERDI Gergo
On Sat, 15 Mar 2014, Joachim Breitner wrote: Unexpected failures: indexed-types/should_compile T3017 [stderr mismatch] (normal) roles/should_compile Roles1 [stderr mismatch] (normal) roles/should_compile Roles2 [stderr mismatch] (normal) simplCore/should_compile