1 files changed, 8 insertions, 0 deletions
diff --git a/020run.cc b/020run.cc
index b93b7c98..32981fa6 100644
--- a/020run.cc
+++ b/020run.cc
@@ -239,3 +239,11 @@ recipe main [
   _ <- copy 0:literal
 ]
 +run: instruction main/0
+
+:(scenario run_warns_on_unknown_types)
+% Hide_warnings = true;
+recipe main [
+  # integer is not a type
+  1:integer <- copy 0:literal
+]
++warn: unknown type: integer