Re: [Chicken-janitors] #1039: Scrutinizer's behaviour differs between (list-of x) and (list x)

[Chicken Trac]

#1039: Scrutinizer's behaviour differs between (list-of x) and (list x)
--------------------------+-------------------------------------------------
  Reporter:  sjamaan      |       Owner:       
      Type:  defect       |      Status:  new  
  Priority:  major        |   Milestone:  4.9.0
 Component:  scrutinizer  |     Version:  4.8.x
Resolution:               |    Keywords:       
--------------------------+-------------------------------------------------

Comment(by sjamaan):

 The problem appears to be that CAR is defined as FORALL a: (pair a *) ->
 a, and {{canonicalize-list-type}} is invoked on this to match it against
 the {{(list-of fixnum)}}.  The "any type of pair" cannot be canonicalized,
 which causes it to return an inexact match.

 I'm not sure yet how to fix this, but it seems that somehow it ought to be
 able to match at least the {{a}} type against fixnum.

-- 
Ticket URL: <http://bugs.call-cc.org/ticket/1039#comment:1>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.