diff options
| author | diederik | 2001-10-01 12:33:17 +0000 |
|---|---|---|
| committer | diederik | 2001-10-01 12:33:17 +0000 |
| commit | ea1106e5a62f951f46fc79b3248a9d61c15254c5 (patch) | |
| tree | ea5a93e282c29041713d6a8eda68fb5cfa69b92a /frontend/frontend.dcl | |
| parent | removed erroneous, unused function (diff) | |
Add fusion commandline flag
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@805 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/frontend.dcl')
| -rw-r--r-- | frontend/frontend.dcl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/frontend/frontend.dcl b/frontend/frontend.dcl index c3c4261..7751e3d 100644 --- a/frontend/frontend.dcl +++ b/frontend/frontend.dcl @@ -8,8 +8,9 @@ from general import Optional, Yes, No import checksupport, transform, overloading :: FrontEndOptions - = { feo_up_to_phase :: !FrontEndPhase - , feo_generics :: !Bool + = { feo_up_to_phase :: !FrontEndPhase + , feo_generics :: !Bool + , feo_fusion :: !Bool } :: FrontEndSyntaxTree |