Changeset 15277

Timestamp:

05/13/20 06:04:40 (3 years ago)

Author:

Mark Evenson

Message:

t/compiler: add test failures reported by pdietz

Start ormalizing common form for problems in the compiler.

Additional failures reported by Paul Dietz in

<​https://mailman.common-lisp.net/pipermail/armedbear-devel/2020-May/004054.html>
<​https://mailman.common-lisp.net/pipermail/armedbear-devel/2020-May/004055.html>

File:

• trunk/abcl/t/compiler.lisp (modified) (1 diff)

trunk/abcl/t/compiler.lisp

@@ -2 +2 @@
 
 ;;; FIXME test shouldn't signal error
-(prove:is-error 
- (compile-file (asdf:system-relative-pathname :abcl "t/eg/compiler-fails-on-inline-recursion.lisp"))
- 'compiler-error
- "FIXME: this test should not result in a STORAGE-CONDITION as a compiler error")
+(prove:plan 1)
+(let ((file (asdf:system-relative-pathname :abcl
+                                           "t/eg/compiler-fails-on-inline-recursion.lisp")))
+  (prove:ok
+   (handler-case 
+       (compile-file file)
+     ;;; anything signalled as error is a failure
+     (t (e) (prove:diag (format nil "Compilation failed signalling ~a" e))))
+   (format nil "Compiling '~a'~%" file)))
+     
+;; <https://mailman.common-lisp.net/pipermail/armedbear-devel/2020-May/004054.html>
+(prove:plan 1)
+(prove:ok
+  (handler-case
+      (multiple-value-bind (compiled-function warnings failure)
+          (compile nil '(lambda () ((lambda () ((lambda () 0))))))
+        (equal
+         (compiled-function warnings failure)
+         (t nil nil)))
+    (t (e) (prove:diag (format nil "Compilation failed signalling ~a" e))))
+  "Able to compile nested lambda expression")
+
+;; <https://mailman.common-lisp.net/pipermail/armedbear-devel/2020-May/004055.html>
+(prove:plan 1)
+(prove:ok
+ (handler-case
+     (multiple-value-bind (compiled-function warnings failure)
+         (compile nil '(lambda () (dotimes (i 1 2) (catch 'c 3))))
+       (equal
+        (compiled-function warnings failure)
+        (t nil nil)))
+   (t (e) (prove:diag (format nil "Compilation failed signalling ~a" e))))
+ "Able to compile tagbody not found form.")
 
 (prove:finalize)