Change History for PatternSynonyms

Version Date Author Comment
50 11 days mpickering
49 3 weeks mpickering Add section about record patterns
48 9 months cactus
47 9 months cactus Update pattern type signature syntax
46 12 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 16 months heisenbug explain the back arrow in the @ part
40 16 months heisenbug confirm a TODO
39 16 months heisenbug oops
38 16 months heisenbug switch the arrow around (see …
37 16 months fryguybob Fix last example
36 16 months heisenbug wording
35 16 months heisenbug tweaks
34 16 months heisenbug a vague proposal for branching unidirectional patterns
33 16 months heisenbug this needs verification
32 16 months heisenbug this seems to be settled with 7.8 out
31 19 months nomeata
30 19 months goldfire
29 19 months ntc2 Add link to recently closed (:D) main pattern synonyms ticket.
28 20 months cactus
27 21 months cactus Add separate static and dynamic semantics sections
26 21 months simonpj
25 21 months cactus
24 21 months cactus
23 23 months simonpj
22 23 months simonpj
21 2 years cactus
20 2 years 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 4 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