Browse thread
# and polymorphic variants
-
Juergen Pfitzenmaier
- Andrzej M. Ostruszka
-
Jacques Garrigue
- Julian Assange
- Brian Rogoff
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Julian Assange <proff@i...> |
| Subject: | Re: # and polymorphic variants |
Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp> writes: > > match x with > > | #t1 -> f1 x (* this is not allowed !! *) > > | #t2 -> f2 x;; Where is this hash notation documented, btw?