aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/lux/host/generics.clj2
-rw-r--r--src/lux/type.clj10
2 files changed, 6 insertions, 6 deletions
diff --git a/src/lux/host/generics.clj b/src/lux/host/generics.clj
index 433b79d1c..0f4339d61 100644
--- a/src/lux/host/generics.clj
+++ b/src/lux/host/generics.clj
@@ -97,7 +97,7 @@
name
(let [params* (if (&/|empty? params)
""
- (str "<" (->> params (&/|map gclass->signature) (&/|interpose " ") (&/fold str "")) ">"))]
+ (str "<" (->> params (&/|map gclass->signature) (&/|interpose "") (&/fold str "")) ">"))]
(str "L" (->bytecode-class-name name) params* ";"))))
(&/$GenericArray param)
diff --git a/src/lux/type.clj b/src/lux/type.clj
index 2729b92e8..898088ff8 100644
--- a/src/lux/type.clj
+++ b/src/lux/type.clj
@@ -541,11 +541,11 @@
(defn ^:private check-error [err expected actual]
(|do [=expected (show-type+ expected)
=actual (show-type+ actual)]
- (fail (str (if (= "" err) err (str err "\n"))
- "[Type Checker]\n"
- "Expected: " =expected "\n\n"
- "Actual: " =actual
- "\n"))))
+ (&/fail-with-loc (str (if (= "" err) err (str err "\n"))
+ "[Type Checker]\n"
+ "Expected: " =expected "\n\n"
+ "Actual: " =actual
+ "\n"))))
(defn beta-reduce [env type]
(|case type