diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2020-09-29 09:23:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-29 09:23:36 +0200 |
| commit | f56fbcf86e472262d07c6bd713f6955cfbcfee8a (patch) | |
| tree | 0ff4ef29fbe012c6a5f968b0d7a5a0fc5c720ce7 /src/programs/gf-main.hs | |
| parent | 2c2bd158a60eb3ac2bf84aa4b1831c4e0e6f96de (diff) | |
(Tutorial) Remove mentions to pt -typecheck
The GF shell no longer has `put_tree -typecheck` option, and typechecking is done automatically when parsing.
The metavariable thing is a bit unclear: you don't get it when parsing "dim the light", or "switch on the fan, but you do get it when you `gt` after adding `switchOn` and `switchOff`.
```
> p "switch on the fan"
CAction fan (switchOff fan) (DKindOne fan)
> gt
CAction light dim (DKindOne light)
CAction ?3 (switchOff ?3) (DKindOne ?3)
CAction ?3 (switchOn ?3) (DKindOne ?3)
```
My hypothesis is that you don't get metavariable when parsing e.g. "dim the light", because even though `light` is suppressed in `CAction`, it still appears in `DKindOne`, so it gets to contribute to the whole tree with its string.
Diffstat (limited to 'src/programs/gf-main.hs')
0 files changed, 0 insertions, 0 deletions