aboutsummaryrefslogtreecommitdiff
path: root/frontend/scanner.dcl
diff options
context:
space:
mode:
authorronny2001-07-18 11:22:43 +0000
committerronny2001-07-18 11:22:43 +0000
commit2d637512067926a9217e281041ba7eb3fec1bd52 (patch)
tree8f8c7281a7f884403e9fbec47c5f38bf90d69ee1 /frontend/scanner.dcl
parentwork around for caching / attribute heap bug (diff)
assorted scanner/parser bug fixes by Pieter (tested by Ronny)
(bug_incomplete_instance_def, bug_layout_rule, bug_nested_guard_in_otherwise, parse-bug-18, parse_bug_Real_as_class_name, parse_bug_case, parse_bug_constructor_with_name_of_basic_type, parse_bug_lost_brackets_in_pattern, parse_bug_no_layout_rule) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@550 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/scanner.dcl')
-rw-r--r--frontend/scanner.dcl4
1 files changed, 3 insertions, 1 deletions
diff --git a/frontend/scanner.dcl b/frontend/scanner.dcl
index 6ec95bf..d001d0e 100644
--- a/frontend/scanner.dcl
+++ b/frontend/scanner.dcl
@@ -103,7 +103,9 @@ instance <<< FilePosition
| GenericOpenToken // {|
| GenericCloseToken // |}
-
+ | ExistsToken // E.
+ | ForAllToken // A.
+
:: Context
= GeneralContext
| TypeContext