Skip to content

Commit 4d53eab

Browse files
authored
Merge pull request #207 from mlabs-haskell/jaredponn/lbf-syntax-docs-typo
Update syntax.md: fixed typo of `classref` not existing which was meant to be `longclassname`
2 parents 2e8cdc9 + baae492 commit 4d53eab

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

docs/syntax.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -181,7 +181,7 @@ A class definition introduces a new class.
181181

182182
```text
183183
classdef -> 'class' [ constraintexps '<=' ] classname { varname }
184-
constraintexp -> classref { varname }
184+
constraintexp -> longclassname { varname }
185185
| '(' constraintexps ')'
186186
constraintexps -> [ constraintexp { ',' constraintexp } ]
187187
```
@@ -194,7 +194,7 @@ An instance clause specifies a type is an instance of a class.
194194

195195
```text
196196
instanceclause -> 'instance' constraint [ ':-' constraintexps ]
197-
constraint -> classref { typeexp }
197+
constraint -> longclassname { typeexp }
198198
```
199199

200200
Instance clauses do not instruct the code generator to generate code, but instead instructs the compiler (semantic checking) that the target language environment provides type class implementations for the given type (provided that the given `constraintexps` also have implementations).
@@ -243,12 +243,12 @@ field -> fieldname ':' prod
243243
opaquetypedef -> 'opaque' typename { varname }
244244
245245
classdef -> 'class' [ constraintexps '<=' ] classname { varname }
246-
constraintexp -> classref { varname }
246+
constraintexp -> longclassname { varname }
247247
| '(' constraintexps ')'
248248
constraintexps -> [ constraintexp { ',' constraintexp } ]
249249
250250
instanceclause -> 'instance' constraint [ ':-' constraintexps ]
251-
constraint -> classref { typeexp }
251+
constraint -> longclassname { typeexp }
252252
253253
deriveclause -> 'derive' constraint
254254
```

0 commit comments

Comments
 (0)