[Haskell-cafe] pattern matching on data families constructors

Francesco Mazzoli f at mazzo.li
Thu Apr 25 20:13:49 CEST 2013


At Thu, 25 Apr 2013 19:08:17 +0100,
Francesco Mazzoli wrote:
> ... ‘DInt :: DInt -> D Int’ and ‘DBool :: DBool -> D Bool’ ...

This should read ‘DInt :: Int -> D Int’ and ‘DBool :: Bool -> D Bool’.

Francesco



More information about the Haskell-Cafe mailing list