[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-janitors] #1446: Implement contravariant type checking for
|
From: |
Chicken Trac |
|
Subject: |
Re: [Chicken-janitors] #1446: Implement contravariant type checking for procedure types |
|
Date: |
Sun, 16 Dec 2018 15:21:37 -0000 |
#1446: Implement contravariant type checking for procedure types
-------------------------------------+-------------------------------------
Reporter: megane | Owner:
Type: enhancement | Status: new
Priority: not urgent | Milestone: 5.1
at all |
Component: scrutinizer | Version: 5.0.0
Resolution: | Keywords: contravariant types
Estimated difficulty: |
-------------------------------------+-------------------------------------
Changes (by sjamaan):
* milestone: someday => 5.1
--
Ticket URL: <https://bugs.call-cc.org/ticket/1446#comment:1>
CHICKEN Scheme <https://www.call-cc.org/>
CHICKEN Scheme is a compiler for the Scheme programming language.
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [Chicken-janitors] #1446: Implement contravariant type checking for procedure types,
Chicken Trac <=