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