msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

(Tutorial) Fix to make calculator example compile

Browse Source 
In abstract: startcat needs to be defined to run the commands that are shown later in the doc.
In concrete: ss and SS are defined in Prelude.
This commit is contained in:
Inari Listenmaa
2020-08-21 13:25:16 +02:00
committed by GitHub
parent 90fc1d750e
commit bf21b4768c
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
doc/tutorial/gf-tutorial.t2t
View File

@@ -4200,7 +4200,8 @@ We construct a calculator with addition, subtraction, multiplication, and
division of integers.
```
abstract Calculator = {
flags startcat = Exp ;
cat Exp ;
fun
@@ -4226,7 +4227,7 @@ We begin with a
concrete syntax that always uses parentheses around binary
operator applications:
```
concrete CalculatorP of Calculator = {
concrete CalculatorP of Calculator = open Prelude in {
lincat
Exp = SS ;