The Racket repository
bf47523ac9
A function like (lambda (x) (lambda (y) y)) would cause TR to fail in an internal metafunction. The fault was triggered when the object y is abstracted to (0 0) and then the outer lambda tries to abstract (0 0) and fails. The problem was triggered by the new path index changes in v6.0 because TR did not previously try to abstract objects that occurs in the target type (now necessary for scope lifting of path indices), which may contain non-identifier objects. This error didn't occur in another nearly identical (except for one crucial identifier? check) code path, so this commit also eliminates the duplication by abstracting. |
||
|---|---|---|
| native-pkgs@5f391155f2 | ||
| 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.