Hi,
under mavericks using the ghc-clang-wrapper (ghc-7.6) or using
ghc-7.8.20140130 I can no longer install the HaXml package.
The source line:
putStrLn $ part of HaXml-++show MAJOR.MINOR
seems to put spaces around the decimal point between MAJOR and MINOR and
fails as shown below.
Is
Yes, this is a known problem. I intend to put out a fresh version of HaXml
soon to fix it.
Regards,
Malcolm
On 18 Mar 2014, at 15:17, Christian Maeder wrote:
Hi,
under mavericks using the ghc-clang-wrapper (ghc-7.6) or using
ghc-7.8.20140130 I can no longer install the HaXml
Would it be correct to think of closed type families as being more like a
closed, ordered collection of unification queries against the constraint
solver, that happens to act like pattern matching? Does that mean that one
possible but potentially ill advised generalization be some sort of way to
I wouldn't call them unification queries against the constraint solver, because
that implies a little more intelligence than is really there. They are
unification queries, I suppose, against the fully-simplified (i.e., with as
many type family simplifications as possible) arguments.
Pattern
hrm, good point, that helps me understand this better, Thanks!
On Tue, Mar 18, 2014 at 12:25 PM, Richard Eisenberg e...@cis.upenn.eduwrote:
I wouldn't call them unification queries against the constraint solver,
because that implies a little more intelligence than is really there. They
are
On Sun, Mar 16, 2014 at 11:06 AM, Christiaan Baaij
christiaan.ba...@gmail.com wrote:
Iavor is working on a branch that allows the constraint solver to call an
external solver: https://github.com/ghc/ghc/tree/decision-procedure
Currently, it: a) only supports CVC4 (an SMT solver), and b) is
