aboutsummaryrefslogtreecommitdiff
path: root/frontend/frontend.dcl
diff options
context:
space:
mode:
authoralimarin2001-09-06 13:48:05 +0000
committeralimarin2001-09-06 13:48:05 +0000
commitcfed61173421d3e939a7b8f11a045cc69171afe1 (patch)
treed8bcf3f19241cc735ccee4813ca15f88d6a22a0d /frontend/frontend.dcl
parentadd symbol_heap to empty_cache (diff)
added command line flag to enable generics
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@755 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/frontend.dcl')
-rw-r--r--frontend/frontend.dcl7
1 files changed, 6 insertions, 1 deletions
diff --git a/frontend/frontend.dcl b/frontend/frontend.dcl
index 33e41b9..5f9f71d 100644
--- a/frontend/frontend.dcl
+++ b/frontend/frontend.dcl
@@ -4,6 +4,11 @@ from scanner import SearchPaths
from general import Optional, Yes, No
import checksupport, transform, overloading
+:: FrontEndOptions
+ = { feo_up_to_phase :: !FrontEndPhase
+ , feo_generics :: !Bool
+ }
+
:: FrontEndSyntaxTree
= { fe_icl :: !IclModule
, fe_dcls :: !{#DclModule}
@@ -22,5 +27,5 @@ import checksupport, transform, overloading
| FrontEndPhaseConvertModules
| FrontEndPhaseAll
-frontEndInterface :: !FrontEndPhase !Ident !SearchPaths !{#DclModule} !{#FunDef} !(Optional Bool) !*PredefinedSymbols !*HashTable !*Files !*File !*File !*File (!Optional !*File) !*Heaps
+frontEndInterface :: !FrontEndOptions !Ident !SearchPaths !{#DclModule} !{#FunDef} !(Optional Bool) !*PredefinedSymbols !*HashTable !*Files !*File !*File !*File (!Optional !*File) !*Heaps
-> ( !Optional *FrontEndSyntaxTree,!.{# FunDef },!Int,!Int,!*PredefinedSymbols, !*HashTable, !*Files, !*File, !*File, !*File, !Optional !*File, !*Heaps)