pyret-lang
pyret-lang copied to clipboard
brownplt
The Pyret language.
I succesfully ran `make; make test` and everything up to `make new-bootstrap`, but both before and after regenerating the bootstrap I get the following error: ``` $ ./src/scripts/phase0 test.arr The...
This program has a type error and shouldn't, due to some environment leak: ``` var result-after-checks = 10 result-after-checks := 11 result-after-checks ``` 
``` check: raise("qwe") raises "qwe" raise("йцу") raises "йцу" end ``` 
Confusing error message generates when a file (a) is including two files (b and c) where one also includes the other (b includes c). Eg: `file3.arr` includes `file2.arr` and `file1.arr`...
I feel like we ought to be able to tackle a better error message here: The parse succeeds, and whether we do it statically (well-formedness) or dynamically, I think we...
In `ast-util`, there is a visitor called `default-map-visitor` with a helper called `bind-handlers`. Together, these are supposed to provide a good jumping-off point for mapping an AST while tracking its...
Consider the following expression (on current CPO): `image-pinhole-x(point-polygon([list: point(0, 0), point(2.5, 0), point(32, 0)], "solid", "red"))`. It will evaluate to `11.5` -- but it's a broken 11.5. It's not an...
In pyret-lang/src/arr/trove/sets.arr, the tests on lines 251 and 252 fail even though they correctly show a preorder and postorder traversal. https://github.com/brownplt/pyret-lang/blob/f9ba480d73cd84eb869ddaea83361f7c8cc240d9/src/arr/trove/sets.arr#L251-L252 This is likely due to a possible implementation error...
These should be pre-defined so people don't need to use `atan`, etc., to get π.
