From d1a5ec27b1f71a4f313540d82385272f471e065f Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Mon, 21 Dec 2015 08:01:56 +0800
Subject: [PATCH] Commit missing parts of e4615e7.

---
 lit-test/test/monomorphism/error_notmono.py | 9 ---------
 lit-test/test/monomorphism/integers.py      | 6 ++++++
 2 files changed, 6 insertions(+), 9 deletions(-)
 delete mode 100644 lit-test/test/monomorphism/error_notmono.py

diff --git a/lit-test/test/monomorphism/error_notmono.py b/lit-test/test/monomorphism/error_notmono.py
deleted file mode 100644
index 9c9b02452..000000000
--- a/lit-test/test/monomorphism/error_notmono.py
+++ /dev/null
@@ -1,9 +0,0 @@
-# RUN: %python -m artiq.compiler.testbench.signature +diag %s >%t
-# RUN: OutputCheck %s --file-to-check=%t
-
-# CHECK-L: ${LINE:+1}: error: the type of this expression cannot be fully inferred
-x = int(1)
-
-# CHECK-L: ${LINE:+1}: error: the return type of this function cannot be fully inferred
-def fn():
-    return int(1)
diff --git a/lit-test/test/monomorphism/integers.py b/lit-test/test/monomorphism/integers.py
index 20850cb47..bc66bcc5a 100644
--- a/lit-test/test/monomorphism/integers.py
+++ b/lit-test/test/monomorphism/integers.py
@@ -3,3 +3,9 @@
 
 x = 1
 # CHECK-L: x: int(width=32)
+
+y = int(1)
+# CHECK-L: y: int(width=32)
+
+z = round(1.0)
+# CHECK-L: z: int(width=32)