diff options
Diffstat (limited to '')
-rw-r--r-- | src/lux/type.clj | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/lux/type.clj b/src/lux/type.clj index e136e8b5c..1fbaa78c0 100644 --- a/src/lux/type.clj +++ b/src/lux/type.clj @@ -413,6 +413,10 @@ success) (fail "[Type Error] Records don't match in size.")) + [_ _] + (do (prn (show-type expected) (show-type actual)) + (assert false)) + ;; [["lux;BoundT" name] _] ;; (do (prn "lux;BoundT" name) ;; (assert false)) |