Summary

lolevel test fails with -scrutinize

Metadata

Description

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

Changes and comments

[2012-09-07 23:40:19 UTC] felix set cc to iraikov

[2012-09-07 23:40:19 UTC] felix changed status from new to assigned

[2012-09-07 23:40:19 UTC] felix changed component from unknown to scrutinizer

[2012-09-07 23:40:19 UTC] felix set owner to felix

[2012-09-07 23:40:19 UTC] felix wrote:

[2012-09-08 21:56:40 UTC] mario changed status from assigned to closed

[2012-09-08 21:56:40 UTC] mario set resolution to fixed

[2012-09-08 21:56:40 UTC] mario wrote:

Fixed by 08808a813bda8f0ec96f8f2361fbd551a99c646a

[2012-09-24 21:47:48 UTC] felix changed milestone from 4.8.0 to 4.9.0

[2012-09-24 21:47:48 UTC] felix wrote:

Milestone 4.8.0 deleted