[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-janitors] #1475: (scrutinizer) Types for global variables a
|
From: |
Chicken Trac |
|
Subject: |
Re: [Chicken-janitors] #1475: (scrutinizer) Types for global variables are not refined by predicates |
|
Date: |
Fri, 15 Jun 2018 07:09:35 -0000 |
#1475: (scrutinizer) Types for global variables are not refined by predicates
------------------------------------+-----------------
Reporter: megane | Owner:
Type: defect | Status: new
Priority: major | Milestone: 5.1
Component: scrutinizer | Version: 5.0
Resolution: | Keywords:
Estimated difficulty: easy |
------------------------------------+-----------------
Comment (by megane):
Forgot to mention that I have a patch for this, if you think this should
be fixed.
--
Ticket URL: <https://bugs.call-cc.org/ticket/1475#comment:1>
CHICKEN Scheme <https://www.call-cc.org/>
CHICKEN Scheme is a compiler for the Scheme programming language.