Change History for PatternSynonyms

Version Date Author Comment
48 9 months cactus
47 9 months cactus Update pattern type signature syntax
46 11 months simonpj
45 12 months cactus change pattern type synonym syntax to use 'type' keyword
44 12 months simonpj
43 12 months simonpj
42 12 months simonpj
41 15 months heisenbug explain the back arrow in the @ part
40 15 months heisenbug confirm a TODO
39 15 months heisenbug oops
38 15 months heisenbug switch the arrow around (see …
37 15 months fryguybob Fix last example
36 15 months heisenbug wording
35 15 months heisenbug tweaks
34 15 months heisenbug a vague proposal for branching unidirectional patterns
33 15 months heisenbug this needs verification
32 15 months heisenbug this seems to be settled with 7.8 out
31 18 months nomeata
30 18 months goldfire
29 18 months ntc2 Add link to recently closed (:D) main pattern synonyms ticket.
28 19 months cactus
27 20 months cactus Add separate static and dynamic semantics sections
26 20 months simonpj
25 20 months cactus
24 20 months cactus
23 22 months simonpj
22 22 months simonpj
21 23 months cactus
20 23 months cactus
19 2 years simonpj
18 2 years heisenbug add Ωmega link
17 2 years heisenbug markup only
16 2 years heisenbug typos
15 2 years heisenbug mention typed patterns
14 2 years cactus
13 2 years cactus Updated to reflect details of current work-in-progress implementation
12 2 years cactus Fix some typos
11 2 years heisenbug wording
10 2 years heisenbug suggest associated constructors
9 3 years xrchz minor typo-correction and rewording
8 4 years augustss
7 4 years augustss
6 4 years augustss
5 4 years augustss Update syntax, add associated patterns.
4 4 years simonpj
3 4 years augustss
2 4 years augustss
1 4 years augustss Initial version