diff options
| author | hallgren <hallgren@chalmers.se> | 2012-04-27 14:00:01 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-04-27 14:00:01 +0000 |
| commit | c6c9b994d21af42a2dc7b8145967bf8c24bc2f7d (patch) | |
| tree | a2503604622305c6cae12be4b385ff1bc7141f87 /examples/tutorial/syntax/Syntax.gf | |
| parent | c69f69ee9c176322e9d385e5d103e8f05247b6b2 (diff) | |
minibar: word-for-word replacements: use concrete syntax for replacement words when possible
Instead of showing the name of a function in the abstract syntax, linearize it
and show the result. For functions with argument, e.g. That : Kind -> Item,
the function is applied to the right number of placeholder arguments: 'That ?'.
If the linearization fails, the name of the function is shown anyway.
Diffstat (limited to 'examples/tutorial/syntax/Syntax.gf')
0 files changed, 0 insertions, 0 deletions