diff options
Diffstat (limited to 'frontend/scanner.icl')
| -rw-r--r-- | frontend/scanner.icl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/frontend/scanner.icl b/frontend/scanner.icl index 584ef28..0d33341 100644 --- a/frontend/scanner.icl +++ b/frontend/scanner.icl @@ -198,6 +198,7 @@ ScanOptionNoNewOffsideForSeqLetBit:==4; | GenericOpenToken // {| | GenericCloseToken // |} | GenericOfToken // of + | GenericWithToken // with | ExistsToken // E. | ForAllToken // A. @@ -895,7 +896,8 @@ CheckCodeContext s input CheckGenericContext :: !String !Input -> (!Token, !Input) CheckGenericContext s input = case s of - "of" -> (GenericOfToken , input) + "of" -> (GenericOfToken, input) + "with" -> (GenericWithToken, input) s -> CheckEveryContext s input GetPrio :: !Input -> (!Optional String, !Int, !Input) |