Overloadable list type notation

[Alexander Berntsen]

-----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 at plaimi.net
https://secure.plaimi.net/~alexander
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iF4EAREIAAYFAlTjh0YACgkQRtClrXBQc7V81AD9G7Ga20dmG1AKwBVGsMkRt1iP
uTApftW93UwiXI4LFdUA/iegcpQgpeO3MvMBkQj0mRRH61C/aLasZ6NDhKrfSMGV
=1KkC
-----END PGP SIGNATURE-----