suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
26,202 Commits 17 Branches 54 Tags 278 MiB
e64c20d79f
Commit Graph

4 Commits

Author SHA1 Message Date
Asumu Takikawa
a5d1007696 racket/generic: allow impersonator contracts 
This enables the use of polymorphic contracts with generic
interfaces and their instances.
 2012-08-21 12:43:48 -04:00
Asumu Takikawa
5a2c235739 Forge non-existent generic functions like write-proc 
Closes PR 13014
 2012-08-17 12:27:01 -04:00
Asumu Takikawa
552d6de953 racket/generics: add contract combinator 
The generics library now generates a `name/c` macro
for a generic interface `name`. The combinator can be
used to contract instances (or constructors) of a
generic interface across standard contract boundaries.
 2012-06-25 20:33:48 -04:00
Asumu Takikawa
a22633e348 Rename generics => generic. 2012-05-24 16:51:14 -04:00