[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Chicken-janitors] #809: allow to specify argument-type enforcement in t
From: |
Chicken Trac |
Subject: |
[Chicken-janitors] #809: allow to specify argument-type enforcement in type signatures |
Date: |
Sat, 07 Apr 2012 10:48:54 -0000 |
#809: allow to specify argument-type enforcement in type signatures
-------------------------------+--------------------------------------------
Reporter: felix | Owner:
Type: enhancement | Status: new
Priority: not urgent at all | Milestone:
Component: compiler | Version: 4.7.x
Keywords: scrutinizer |
-------------------------------+--------------------------------------------
For example: `T1 ... ->! T2 ...` could specify a procedure type that is
"enforcing".
--
Ticket URL: <http://bugs.call-cc.org/ticket/809>
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] #809: allow to specify argument-type enforcement in type signatures,
Chicken Trac <=