aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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