-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 On 17/02/15 19:21, Gabriel Gonzalez wrote:
You can already use list-style syntax sugar for pattern matching. The only thing you'd have to change in your example is to replace `[x:y]` with `[x, y]`. Sorry, what I meant is that I would like to have this easily implementable, so that you can implement it for your own ADTs. I do not believe that this is currently possible, though I would be thrilled to be proven otherwise.
(I have made this point so many times on IRC that my brain permitted itself way too many shortcuts with my reply to this list -- apologies!) - -- Alexander alexander@plaimi.net https://secure.plaimi.net/~alexander -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iF4EAREIAAYFAlTjh0YACgkQRtClrXBQc7V81AD9G7Ga20dmG1AKwBVGsMkRt1iP uTApftW93UwiXI4LFdUA/iegcpQgpeO3MvMBkQj0mRRH61C/aLasZ6NDhKrfSMGV =1KkC -----END PGP SIGNATURE-----