diff options
| author | hallgren <hallgren@chalmers.se> | 2015-08-20 16:06:10 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-08-20 16:06:10 +0000 |
| commit | 786ef54d625397a2de5c7c42bc50931ce1f74fb1 (patch) | |
| tree | 21e7513ccae66bb2c5169d67b5fa4b07631ff56a /src/example-based/ExampleService.hs | |
| parent | 330d42296c6441f09b02e19c22d5d618da821814 (diff) | |
gf -cshell: implement a subset of print_grammar and abstract_info
pg supports only the -funs, -cats and -langs output modes.
ai IDENTIFIER shows info about a category or a function. ai can not type check
and refine metavariables in expressions.
Diffstat (limited to 'src/example-based/ExampleService.hs')
0 files changed, 0 insertions, 0 deletions