Alejandro Serrano

@Lysander unfortunately `main` deviated too much from when I worked on this. I'm not sure when I'll have time to dig into this, but I don't think in the short...

A bug ticket: https://ghc.haskell.org/trac/ghc/ticket/11195 And the rest of the tickets related to the new pattern matching: https://ghc.haskell.org/trac/ghc/wiki/PatternMatchCheck

Try with `fmax-pmcheck-iterations=n` with some number of `n` in the order of thousands?

To be more specific, the "pattern match checker" (PMC) checks that all the "constructor-like" patterns form a complete set. We do not know this for most pattern synonyms, so I...

I think we can convince the compiler if we give those patterns a [pattern signature](https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#typing-of-pattern-synonyms). Be aware that those signatures are quite weird, as they have two blocks of constraints...

We might require some pattern synonym signatures... El jue., 5 abr. 2018 19:12, Victor Cacciari Miraldo < [email protected]> escribió: > I tried adding more pattern synonyms to the mix. I...

@jhoenicke I found that without this change there's no way to use a logical formula containing a constant string, not even the simplest `(= x "hello")`.

I'm happy to devote some time to have this working; is there any place I could look at to bring strings to SMTInterpol?

I've pushed a new version of the proposal, removing everything related to double quotes. That way the KEEP is only about **multi-dollar interpolation**. Thanks @lukellmann for noticing the problems with...

I think the case of embedding `"""` inside a raw string literal happens way less often than the need of embedding `$` in such a literal. Given that, I think...