/
HISTORY
132 lines (113 loc) · 5.84 KB
/
HISTORY
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
--------------------------------------------------------------------------------
Silver 0.4.1 ?? ??, ??
- Let's not take so long this time. :)
--------------------------------------------------------------------------------
Silver 0.4.0 Oct 20, 2017
- Future compatibility note:
- Production names should start with a lower-case letter.
- We've moved to GitHub! https://github.com/melt-umn/silver
- Now requires Java 7.
- Carriage returns are no longer stripped. Use \r with \n in terminals!
- Improved and reliable Modular Well-Definedness Analysis
- Include flowtype declarations (flowtype Expr = forward {env};)
- More accurate analysis of pattern matching expressions
- 'silver:langutil' is now recommended.
- String interpolation introduce. (s"${var}")
- 'silver:langutil:pp' variant, too: pp"text ${doc}"
- Functor attributes introduced.
- Lambdas introduced. (\ x::String -> x ++ "!")
- New 'Either' type in standard library prelude.
- 'ParseResult' now includes information about syntax errors
- Prototype of "terminal prefixes"...
- Prototype IO monads library...
- Prototype documentation generator...
- Improvements to Eclipse IDE support for Silver.
- Added a vim mode for Silver.
- Silver compiler now reports syntax errors in all files, not just the first.
- A number of improved error messages.
- Performance improvement, misc bug fixes.
--------------------------------------------------------------------------------
Silver 0.3.6 Sep 30, 2013
- Future compatibility note:
- Make sure your whitespace terminals account for \r. Future versions of
Silver will no longer automatically strip these!
- New modular well-definedness analysis implemented (currently alpha quality)
- Finds duplicated equations by default.
- See wiki for details, full analysis enabled with --warn-all
- 'aspect default production' introduced to allow default equations for attributes
- 'option' declarations introduce "optional components" of a host language
- Introduced "closed nonterminals" that forbid new attributes (without a default)
- Updates to the 'simple' tutorial, cleanups.
- Improve build process - won't rebuild parsers unnecessarily.
- Slight change to 'core' import semantics, most users shouldn't notice.
- Introduce standard library 'Location' type.
- Obtainable directly from terminals, now, too.
- Introduce alpha-quality 'annotations' language feature
- Including core 'location' that the parser can fill in for concrete syntax
- 'exports' now also implicity 'imports'
- Bugs fixes and code quality improvements to the compiler.
- 'marking' modifier for tokens for copper modular determinism analysis
- Prototype string templating feature (s"""hello ${who}""")
- note: syntax subject to change
- New library for unweighted directed graphs, silver:util:raw:graph
--------------------------------------------------------------------------------
Silver 0.3.5 Mar 19, 2012
- Now hosted on google code! http://code.google.com/p/silver
- New, recommended, short form syntax for concrete production listings
- Shell scripts for installing 'silver' script and gedit support
- Updated to newer version of Copper; better support for layout
- Attribute sections (.pp) introduced, in limited form
- Partial application introduced
- Slightly more location information available on terminals
- 'Production' type eliminated, along with its duplicate functions
(map_p...)
- The 'Function' type keyword is removed, as well. Signatures should
just be written directly.
- The compiler may issues warnings now, for some deprecated features.
- New 'conditional export' feature introduced.
- The compiler now uses signficantly less memory
- General improvements to compiler quality (e.g. code and error messages)
- Pattern matching bugfixes
- Other, various, bugfixes
--------------------------------------------------------------------------------
Silver 0.3.4 Sep 27, 2011
- New silver:util:treemap RB tree library
- New silver:util:deque double ended queue library
- New silver:util:cmdargs command line parsing library
- New silver:langutil:pp pretty printing library
- Performance and translation improvements
- Dramatic (30%) reduction in binary sizes
- Testing framework (unstable interface, yet)
- Update and modernization of the 'simple' tutorial language (incomplete)
- Minor change to the way production-specific 'layout' declarations worked
- Many bug fixes, including some pattern matching fixes.
--------------------------------------------------------------------------------
Silver 0.3.3 Jun 30, 2011
- Improved pattern matching support
- Pattern compiler
- Matching on multiple values
- Support for GADT-like productions
- Integration with forwarding (SLE paper)
- Minor bug fixes, library additions.
--------------------------------------------------------------------------------
Silver 0.3.2 Apr 22, 2011
- Improved translation, doubles performance of Silver code.
- GADT-like production permitted (Foo<NotATyVar> ::=)
- Over-specified occurences permitted (ast<Expr> on Expr_c)
- Clarified license: LGPL
- Bug fix: Silver should no longer misunderstand decoratedness of
children/locals/pattern variables
- Bug fix: Re-added missing 'lexeme' value in disambiguation groups
- Bug fix: Lists now work with pattern matching. (*facepalm*)
- Library improvements, lib:xml addition
- More minor bug fixes, internal improvements
--------------------------------------------------------------------------------
Silver 0.3.1 Dec 15, 2010
- New translation to Java, rather than Haskell
- Separate compilation of grammars
- Parametric Polymorphism
- Improved support for multiple parsers
- MANY other changes
--------------------------------------------------------------------------------
Silver 0.2.1.2 Nov 28, 2007
- Last release of older, Haskell-translation Silver.