id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
918	lolevel test fails with -scrutinize	Christian Kellermann	felix winkelmann	"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"	defect	closed	major	4.9.0	scrutinizer	4.8.x	fixed		Ivan Raikov