The Racket repository
608dfcf335
This handles contract generation for recursive or mutually recursive Name types in the static contract framework. Instead of just generating recursive-sc static contracts, it memoizes the recursive contract within a single type->contract call by indirecting through a table. When static contracts are instantiated, the table is consulted for computing contract kind information and for generating the actual contracts for the recursive names. |
||
|---|---|---|
| native-pkgs@2f116c1b64 | ||
| pkgs | ||
| racket | ||
| .gitattributes | ||
| .gitignore | ||
| .gitmodules | ||
| .mailmap | ||
| .travis.yml | ||
| INSTALL.txt | ||
| Makefile | ||
| README.txt | ||
This is the source code for the main Racket distribution. See "INSTALL.txt" for information on building Racket. License ------- Racket Copyright (c) 2010-2014 PLT Design Inc. Racket is distributed under the GNU Lesser General Public License (LGPL). This means that you can link Racket into proprietary applications, provided you follow the rules stated in the LGPL. You can also modify Racket; if you distribute a modified version, you must distribute it under the terms of the LGPL, which in particular means that you must release the source code for the modified software. See racket/src/COPYING_LESSER.txt for more information.