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 -scrutinize -verbose -include-path ..