pyret-lang

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 25, 2024 — Jul 25, 2025 Showing page 18 of 229 Search / Filter on:
equalAlways(): disallow JS equality check if first number is double and second is boxed roughnum. In general, allow allow JS eq check only if the typeof's of the two args match. (The else-test then has the opportunity to raise an error if needed.) Added tests.	Dorai Sitaram	More...				over 7 years ago
remove undocumented, confusing method (row-n is the documented version)	Joe Gibbs Politz	More...				over 7 years ago
Fixes #1268 and fixes #1289	mkolosick	More...				over 7 years ago
Fixes #1292	mkolosick	More...				over 7 years ago
Added return type check to option test	mkolosick	More...				over 7 years ago
Fixes #1288	mkolosick	More...				over 7 years ago
Fixes #1265	mkolosick	More...				over 7 years ago
Added test for issue #1269	mkolosick	More...				over 7 years ago
little fixes for @blerner's comments	Joe Gibbs Politz	More...				over 7 years ago
More flatness info through annotations	Joe Gibbs Politz	More...				over 7 years ago
Fixes #1152 The subtyping order was backward in meet-branch-types	mkolosick	More...				over 7 years ago
Fixes #1238	mkolosick	More...				over 7 years ago
notes on this change	Joe Gibbs Politz	More...				over 7 years ago
Give t-top type to bindings in get-named-provides	Joe Gibbs Politz	More...				over 7 years ago
Check flatness of annotations (currently limited)	Joe Gibbs Politz	More...				over 7 years ago
Several small flatness fixes	Joe Gibbs Politz	More...				over 7 years ago
more tests, and more small fixes of representation	Joe Gibbs Politz	More...				over 7 years ago
some extremely basic flatness tests, and small fixes	Joe Gibbs Politz	More...				over 7 years ago
move flatness into its own module	Joe Gibbs Politz	More...				over 7 years ago
improving the bog-standard well-formedness errors, to have some formatting	Ben Lerner	More...				over 7 years ago
Merge remote-tracking branch 'origin/horizon' into horizon	Ben Lerner	More...				over 7 years ago
forgot a file yesterday	Ben Lerner	More...				over 7 years ago
remove template desugaring as a check block, potentially move to `is` desugaring later	Joe Gibbs Politz	More...				over 7 years ago
Merge pull request #1285 from brownplt/fix-emacs-mode-shorthand-lambda	Philip E Blair	More...				over 7 years ago
Fix fencepost error	Philip Blair	More...				over 7 years ago
Add pyret-debug-mode	Philip Blair	More...				over 7 years ago
Fix shorthand lambda and lingering field bug	Philip Blair	More...				over 7 years ago
ugh, accidental typo	Sorawee Porncharoenwase	More...				over 7 years ago
hotfix (torepr instead of dquote)	Sorawee Porncharoenwase	More...				over 7 years ago
fix #1263	Sorawee Porncharoenwase	More...				over 7 years ago

←
1
2
…
14
15
16
17
18
19
20
21
22
…
228
229
→