[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Chicken-janitors] #1039: Scrutinizer's behaviour differs between (list-
From: |
Chicken Trac |
Subject: |
[Chicken-janitors] #1039: Scrutinizer's behaviour differs between (list-of x) and (list x) |
Date: |
Sun, 28 Jul 2013 15:47:40 -0000 |
#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
Keywords: |
-------------------------+--------------------------------------------------
Looks like this should give a scrutinizer warning, but it doesn't:
{{{
#!scm
(module whatever ()
(import chicken scheme)
;; Change "list-of" to "list" and it's still correct, but we do get a
warning
(: foo (forall (a) (a -> (list-of a))))
(define (foo x)
(cons x '()))
(display (car (car (foo 1))))
(newline)
)
}}}
--
Ticket URL: <http://bugs.call-cc.org/ticket/1039>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Chicken-janitors] #1039: Scrutinizer's behaviour differs between (list-of x) and (list x),
Chicken Trac <=