Re: PRO (was: PEEP: Annotate difference [...])
"Michael P." <[email protected]>
| Newsgroups | gmane.comp.lang.erlang.general |
|---|---|
| Message-ID | <20210128162015.39295de8@aesop> |
The annotation would point out pattern parameters. In patterns, boundies are the only real (not compile-time-constant) expressions allowed in patterns. (Regardless of how they are implemented, be it evaluated "real expressions", or some special "deref".)