aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormartinw2000-09-21 10:35:30 +0000
committermartinw2000-09-21 10:35:30 +0000
commit5b7a94f5f1f691bb3866918dadacc85448d0281d (patch)
treec179397f21e786ca98b2ec3aecb1f653dca248a9
parent*** empty log message *** (diff)
now "list inferred types" can print attributes also
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@222 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--main/compile.icl3
1 files changed, 2 insertions, 1 deletions
diff --git a/main/compile.icl b/main/compile.icl
index b2c4054..c468e2e 100644
--- a/main/compile.icl
+++ b/main/compile.icl
@@ -133,8 +133,9 @@ compileModule options commandLineArgs files
= stdio files
# (predefSymbols, hashTable) = buildPredefinedSymbols newHashTable
(moduleIdent, hashTable) = putIdentInHashTable options.moduleName IC_Module hashTable
+ list_inferred_types = if (isMember "-lt" commandLineArgs) (Yes (not (isMember "-lattr" commandLineArgs))) No
# (predefs, _, files, error, io, out, optionalSyntaxTree)
- = frontEndInterface FrontEndPhaseAll moduleIdent options.searchPaths (isMember "-lt" commandLineArgs)
+ = frontEndInterface FrontEndPhaseAll moduleIdent options.searchPaths list_inferred_types
predefSymbols hashTable files error io out
# (closed, files)
= fclose io files