[Chicken-janitors] #918: lolevel test fails with -scrutinize

[Chicken Trac]

#918: lolevel test fails with -scrutinize
---------------------+------------------------------------------------------
 Reporter:  ckeen    |       Owner:       
     Type:  defect   |      Status:  new  
 Priority:  major    |   Milestone:  4.8.0
Component:  unknown  |     Version:  4.8.x
 Keywords:           |  
---------------------+------------------------------------------------------
 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

-- 
Ticket URL: <http://bugs.call-cc.org/ticket/918>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.