Opened 9 years ago

Closed 9 years ago

Last modified 9 years ago

#918 closed defect (fixed)

lolevel test fails with -scrutinize

Reported by: Christian Kellermann Owned by: felix winkelmann
Priority: major Milestone: 4.9.0
Component: scrutinizer Version: 4.8.x
Keywords: Cc: Ivan Raikov
Estimated difficulty:

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

Change History (3)

comment:1 Changed 9 years ago by felix winkelmann

Cc: Ivan Raikov added
Component: unknownscrutinizer
Owner: set to felix winkelmann
Status: newassigned

comment:2 Changed 9 years ago by Mario Domenech Goulart

Resolution: fixed
Status: assignedclosed

Fixed by 08808a813bda8f0ec96f8f2361fbd551a99c646a

comment:3 Changed 9 years ago by felix winkelmann

Milestone: 4.8.04.9.0

Milestone 4.8.0 deleted

Note: See TracTickets for help on using tickets.