diff options
| author | johnvg | 2013-04-08 09:16:09 +0000 |
|---|---|---|
| committer | johnvg | 2013-04-08 09:16:09 +0000 |
| commit | 9894d082bd5a0f3c74a2874f9c9a78fd89a089a5 (patch) | |
| tree | 9d851f5631f8981893af610d96371b4afd2d1009 /frontend/scanner.icl | |
| parent | update derive class for deriving generic functions in class context (from iTa... (diff) | |
add generic function dependencies for generic function definitions,
add generic case definitions in definition modules for the types used to make the generic representation,
in generic case definitions in definition modules specify what generic info and dependencies are used
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2227 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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) |