diff --git a/HISTORY b/HISTORY index 004128b9e..6dd55832f 100644 --- a/HISTORY +++ b/HISTORY @@ -1,9 +1,13 @@ -------------------------------------------------------------------------------- -Silver 0.3.6 May ??, 2013 +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) @@ -16,6 +20,10 @@ Silver 0.3.6 May ??, 2013 - 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 diff --git a/grammars/silver/driver/BuildProcess.sv b/grammars/silver/driver/BuildProcess.sv index 9e6186412..50aa14796 100644 --- a/grammars/silver/driver/BuildProcess.sv +++ b/grammars/silver/driver/BuildProcess.sv @@ -70,7 +70,7 @@ IOVal ::= args::[String] svParser::SVParser sviParser::SVIParser ioi local actions :: IOVal = runAll(sortUnits(unit.postOps), reRootStream.io); return if !argResult.parseSuccess then ioval(print(argResult.parseErrors, ioin), 1) - else if a.displayVersion then ioval(print("Silver Version 0.3.6-dev\n", ioin), 1) -- temp: exit with an error code so 'ant' isnt run. + else if a.displayVersion then ioval(print("Silver Version 0.3.6\n", ioin), 1) -- temp: exit with an error code so 'ant' isnt run. else if !null(check.iovalue) then ioval(print(implode("\n", check.iovalue), check.io), 1) else if !head(rootStream.iovalue).isJust then ioval(print("The specified grammar (" ++ buildGrammar ++ ") could not be found.\n", rootStream.io), 1) else actions;