Beta-Release Changes

This page lists significant additions and changes to the funcon definitions and language specifications included in the CBS beta-release.

2018-09-14: right-to-left

• funcon added

2018-09-07: Funcons-beta, Languages-beta: CBS web pages regenerated:

• hyperlinks corrected (for variable references in rules)
• confusing tooltips removed

2018-09-07: Characters

• char (alias for unicode-character) renamed to unicode-char.
• ascii-character (alias ascii-char) added to Funcons-Index and funcon reuse overview

2018-08-26: Folding

• folding now applies to sequences of rules, not individual rules
• blank lines following a rule are now preserved when it is folded

2018-08-22: current-value

• current-value was an alias for structural-assigned, which returns the value of a simple or structured variable by replacing all simple sub-variables in it by their assigned values; current-value(V) is still equivalent to structural-assigned(V) when V is itself a simple variable, but when V is a structured variable, it now simply returns V.

  The only use of current-value(V) in Languages-beta was in the definition of ocaml-light-to-string, which has now been changed to use assigned.

2018-08-17: Downloads

• added a page about downloading for offline browsing

2018-08-14: first-n

• rule corrected

2018-07-17: MiniJava

• syntax disambiguation completed
• semantics tested with 65 unit tests

2018-07-16: Browsing guide

• restructured

2018-07-15: Browsing guide

• further clarifications

2018-07-14: Publications

• added

2018-07-14: Browsing guide

• minor clarifications

2018-07-12: Languages-beta

• added an overview of funcon reuse

2018-07-09: OCaml Light

• added expr ::= 'assert' expr
• added disambiguation rules for '{' expr 'with' ... '}'
• corrected the rule defining implemented-vector