lolevel test fails with -scrutinize

[Christian Kellermann]

While investigating #916 I have noticed that the lolevel test fails to compile when giving the -scrutinize flag.

 ../csc -compiler ../chicken -v -I.. -L.. -include-path .. -o a.out -scrutinize lolevel-tests.scm 
../chicken lolevel-tests.scm -output-file a.c -verbose -include-path .. -scrutinize

Warning: at toplevel:
  use of deprecated library procedure `null-pointer?'

Warning: at toplevel:
  use of deprecated library procedure `null-pointer'

Warning: at toplevel:
  use of deprecated library procedure `null-pointer?'

Warning: at toplevel:
  (lolevel-tests.scm:192) in procedure call to `record-instance?', expected 1 argument, but was given 2 arguments

Error: [internal compiler error] resolve: can't resolve unknown type-variable: #t

    Call history:

    <syntax>      (eq? #t (pv1 #f))
    <syntax>      (pv1 #f)
    <syntax>      (##core#undefined)
    <syntax>      (##sys#error "(lolevel-tests.scm:279) assertion failed" (##core#quote (eq? #t (pv1 #f))))
    <syntax>      (##core#quote (eq? #t (pv1 #f)))
    <syntax>      (define p (pv2 pv #t))
    <syntax>      (##core#set! p (pv2 pv #t))
    <syntax>      (pv2 pv #t)
    <syntax>      (assert (pointer=? p (pv2 pv #f)))
    <syntax>      (##core#if (##core#check (pointer=? p (pv2 pv #f))) (##core#undefined) (##sys#error "(lolevel-tests....
    <syntax>      (##core#check (pointer=? p (pv2 pv #f)))
    <syntax>      (pointer=? p (pv2 pv #f))
    <syntax>      (pv2 pv #f)
    <syntax>      (##core#undefined)
    <syntax>      (##sys#error "(lolevel-tests.scm:281) assertion failed" (##core#quote (pointer=? p (pv2 pv #f))))
    <syntax>      (##core#quote (pointer=? p (pv2 pv #f)))      <--

Error: shell command terminated with non-zero exit status 17920: ../chicken lolevel-tests.scm -output-file a.c -verbose -include-path .. -scrutinize

4.8.0rc3 on 32 bit OpenBSD

[Mario Domenech Goulart]

Fixed by 08808a813bda8f0ec96f8f2361fbd551a99c646a

[felix winkelmann]

Milestone 4.8.0 deleted