Re: [ghc-steering-committee] Discussion about "Type Application in Patterns" (#126)

Hi, Am Donnerstag, den 16.08.2018, 23:22 +0000 schrieb Simon Peyton Jones:

...

pattern Ascii :: String pattern Ascii <- (all isAscii -> True)

and now

foo (Ascii @ ('X':rest)) =

is now longer as silly…

That’s a good example. It's easy to work around:

pattern And p q = p@q

foo (Ascii `And` ('X' : rest)) = ..

nice. I included this in the proposal under “Costs and Drawbacks”, for future reference. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/