added test-case from #896

distribution/manifest

@@ -143,6 +143,7 @@ tests/test-finalizers.scm
 tests/test-finalizers-2.scm
 tests/module-tests-compiled.scm
 tests/scrutiny-tests.scm
+tests/scrutiny-tests-strict.scm
 tests/typematch-tests.scm
 tests/scrutiny-tests-2.scm
 tests/scrutiny-tests-3.scm

tests/runtests.sh

@@ -99,6 +99,9 @@ diff -bu scrutiny-2.expected scrutiny-2.out
 $compile scrutiny-tests-3.scm -specialize -block -ignore-repository -types $TYPESDB
 ./a.out
 
+$compile scrutiny-tests-strict.scm -strict-types -specialize -ignore-repository -types $TYPESDB
+./a.out
+
 echo "======================================== specialization tests ..."
 rm -f foo.types foo.import.*
 $compile specialization-test-1.scm -emit-type-file foo.types -specialize \

tests/scrutiny-tests-strict.scm

@@ -0,0 +1,23 @@
+;;;; scrutinizer-tests in "strict-types" mode
+
+
+;;; #896: internal error due to missing resolution of type-variables
+;;;       in "initial-argument-types" (scrutinizer.scm)
+;;;       (reported by Moritz)
+
+(define-record bar foo)
+
+(define-type bar
+  (struct bar))
+
+;; This breaks with csc -strict-types
+(: foo (forall (x string) (x -> bar)))
+
+;; Using this declaration instead of the above makes it work
+;; (: foo (string -> bar))
+
+;; Alternatively, removing this declaration makes it work, too
+(: make-bar (string -> bar))
+
+(define (foo x) (make-bar x))
+