1 files changed, 7 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/ShedCompiler.java b/src/main/java/org/shedlang/compiler/ShedCompiler.java
index 98583ed1..6e7f187a 100644
--- a/src/main/java/org/shedlang/compiler/ShedCompiler.java
+++ b/src/main/java/org/shedlang/compiler/ShedCompiler.java
@@ -2,6 +2,7 @@ package org.shedlang.compiler;
 
 import org.shedlang.compiler.ast.untyped.UntypedNamespaceNode;
 import org.shedlang.compiler.backends.Backend;
+import org.shedlang.compiler.config.ConfigChecker;
 import org.shedlang.compiler.config.ProjectConfig;
 import org.shedlang.compiler.parser.Parser;
 import org.shedlang.compiler.sources.Sources;
@@ -9,6 +10,7 @@ import org.shedlang.compiler.stackir.StackCompiler;
 import org.shedlang.compiler.stackir.StackIrNamespace;
 import org.shedlang.compiler.typechecker.TypeChecker;
 import org.shedlang.compiler.typechecker.TypeCheckerContext;
+import org.shedlang.compiler.typechecker.TypeInfos;
 import org.shedlang.compiler.types.Effects;
 import org.shedlang.compiler.types.NamespaceName;
 import org.shedlang.compiler.types.Types;
@@ -61,10 +63,14 @@ public class ShedCompiler {
             namespaces.add(stackIrNamespace);
         }
 
+        var typeInfos = typeCheckerContext.toTypeInfos();
+
+        ConfigChecker.configCheck(config, typeInfos);
+
         backend.compile(
             config,
             namespaces,
-            typeCheckerContext.toTypeInfos(),
+            typeInfos,
             config.targetDir().resolve(backend.name())
         );
     }