On Mon, Nov 5, 2012 at 4:15 PM, Stephen Tetley <[email protected]>wrote:
> There is a long extant GHC extension to elide constructor arguments
>
f (Leaf {}) = ...
> f (Node {}) = ...
>
I don't think that's an extension, it falls out directly from how Haskell
builds records on top of ADTs and is specified in the standard as such.
See http://www.haskell.org/onlinereport/decls.html at the end of the
"Labelled Fields" section for Haskell98, or the middle of section 3.15.2 in
http://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-490003.15for
the H'2010 version.
--
brandon s allbery kf8nh sine nomine associates
[email protected] [email protected]
unix/linux, openafs, kerberos, infrastructure http://sinenomine.net
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
