1;;;; scrutinizer-tests in "strict-types" mode
2
3
4;;; #896: internal error due to missing resolution of type-variables
5;;;       in "initial-argument-types" (scrutinizer.scm)
6;;;       (reported by Moritz)
7
8(define-record bar foo)
9
10(define-type bar
11  (struct bar))
12
13;; This breaks with csc -strict-types
14(: foo (forall (x string) (x -> bar)))
15
16;; Using this declaration instead of the above makes it work
17;; (: foo (string -> bar))
18
19;; Alternatively, removing this declaration makes it work, too
20(: make-bar (string -> bar))
21
22(define (foo x) (make-bar x))
23
24