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