pyret-lang

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 17 hours ago. based on code collected about 17 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 30, 2024 — Aug 30, 2025 Showing page 18 of 241 Search / Filter on:
Making the prelude support flexible ordering of import and provides statements.	Ben Lerner	More...				about 6 years ago
Merge branch 'horizon' of https://github.com/brownplt/pyret-lang into horizon	Emmanuel Schanzer	More...				about 6 years ago
add runtime function for fast sorting of numbers, and use it to speed up stats library	Emmanuel Schanzer	More...				about 6 years ago
merge horizon into module-syntax	Joe Gibbs Politz	More...				about 6 years ago
add stdev-sample (#1475)	Joe Gibbs Politz	More...				about 6 years ago
add stdev-sample (#1475)	Joe Gibbs Politz	More...				about 6 years ago
Revert "add DataVisibility and propagate through the relevant places in TC/structs"	Joe Gibbs Politz	More...				about 6 years ago
Revert "Add data visibility to the (non-user-visible) syntax of provides"	Joe Gibbs Politz	More...				about 6 years ago
Revert "(For immediate revert) Make the type-checker respect opaque data"	Joe Gibbs Politz	More...				about 6 years ago
(For immediate revert) Make the type-checker respect opaque data	Joe Gibbs Politz	More...				about 6 years ago
Add data visibility to the (non-user-visible) syntax of provides	Joe Gibbs Politz	More...				about 6 years ago
add DataVisibility and propagate through the relevant places in TC/structs	Joe Gibbs Politz	More...				about 6 years ago
make sure to unique-ify the errors, as in other places	Joe Gibbs Politz	More...				about 6 years ago
make sure to unique-ify the errors, as in other places	Joe Gibbs Politz	More...				about 6 years ago
fix previous refactoring; get-typed-provides needs to be in this context to have all the relevant information	Joe Gibbs Politz	More...				about 6 years ago
fix previous refactoring; get-typed-provides needs to be in this context to have all the relevant information	Joe Gibbs Politz	More...				about 6 years ago
these tests are now caught but unbound-ids-bad-assignments earlier in the pipeline	Joe Gibbs Politz	More...				about 6 years ago
these tests are now caught but unbound-ids-bad-assignments earlier in the pipeline	Joe Gibbs Politz	More...				about 6 years ago
Refactor compile-module to avoid calculating provides on bogus programs, which causes exceptions rather than reporting the compile errors	Joe Gibbs Politz	More...				about 6 years ago
Refactor compile-module to avoid calculating provides on bogus programs, which causes exceptions rather than reporting the compile errors	Joe Gibbs Politz	More...				about 6 years ago
Basics of include data (and include data *)	Joe Gibbs Politz	More...				about 6 years ago
Add a new datatype to represent exported datatypes	Joe Gibbs Politz	More...				about 6 years ago
Attempting to give a better error message for function calls with spaces in them, i.e. `f ()`, `g (x)`, `h (y, z)`, etc.	Ben Lerner	More...				about 6 years ago
slightly more robust	Ben Lerner	More...				about 6 years ago
updating emacs mode with new syntax	Ben Lerner	More...				about 6 years ago
Use new module facilities to simplify repl.arr	Joe Gibbs Politz	More...				about 6 years ago
adding arity checks and argument checks everywhere as appropriate	Ben Lerner	More...				about 6 years ago
Avoiding an unwanted crash in the scenario of #1405	Ben Lerner	More...				about 6 years ago
tracking the actual bad test operator through to the error message, so we can give a distinct error message for `raises` vs `raise` (and potentially other operators later, if needed)	Ben Lerner	More...				about 6 years ago
Fixing error message (fixes #1410)	Ben Lerner	More...				about 6 years ago

←
1
2
…
14
15
16
17
18
19
20
21
22
…
240
241
→