Generating Software from Specifications WS 2013/14 - File Signatures.fw
@=~
~p maximum_input_line_length = infinity
This file contains the specification of a language
for sequences of declarations with polymorphic types.
A declaration consists of a name and a polymorphic type.
(You may insert a separator or a terminator.)
A type is a function type, denoted by the binary type operator ->,
a tupel type, denoted by the binary type operator *,
a list type denoted by the unary postfix type operator list,
a polymorphic type parameter,
parenthesies to override precedences.
The precedence of type operators decreases in the following order:
list, *, ->.
* associates to the left, -> associates to the right.
The following file contains correct input for the processor.
Add further examples to check every language construct:
~O~<Signature.ok~>~{
ggt: int*int -> int;
pair: 'a * 'b;
~}
The following file specifies the concrete syntax:
~O~<Signature.con~>~{
Program: Signatures.
~}
The following file specifies the non-literal tokens:
~O~<Signature.gla~>~{
~}
Redundant chain productions are eliminated:
~O~<Signature.map~>~{
~}
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 06.11.2013