- The method-invocation analysers now take into consideration whether they must work for classes or interfaces & perform the appropriate checks.

- A default <init> method is added to the dummy class used during the analysis of anonymous classes.
- When adding the default invoke-special for anonymous classes, now using the one from the parent class, rather than the one from Object.
- The packaging for the uberjar is now a bit more specific regarding which elements to include or to exclude.
- Type errors when comparing JVM generic types are now a bit more specific.

1 files changed, 5 insertions, 4 deletions

diff --git a/src/lux/type/host.clj b/src/lux/type/host.clj
index d4627b273..38acf8162 100644
--- a/src/lux/type/host.clj
+++ b/src/lux/type/host.clj
@@ -197,10 +197,11 @@
           :else
           (let [e!name (as-obj e!name)
                 a!name (as-obj a!name)]
-            (cond (and (.equals ^Object e!name a!name)
-                       (= (&/|length e!params) (&/|length a!params)))
-                  (|do [_ (&/map2% check e!params a!params)]
-                    (return (&/T fixpoints nil)))
+            (cond (.equals ^Object e!name a!name)
+                  (if (= (&/|length e!params) (&/|length a!params))
+                    (|do [_ (&/map2% check e!params a!params)]
+                      (return (&/T fixpoints nil)))
+                    (fail (str "[Type Error] Amounts of generic parameters don't match: " e!name "(" (&/|length e!params) ")" " vs " a!name "(" (&/|length a!params) ")")))
 
                   (not invariant??)
                   (|do [actual* (->super-type existential class-loader e!name a!name a!params)]