0
I Use This!
Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Jul 22, 2024 — Jul 22, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
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. More... over 7 years ago
remove undocumented, confusing method (row-n is the documented version) More... over 7 years ago
Fixes #1268 and fixes #1289 More... over 7 years ago
Fixes #1292 More... over 7 years ago
Added return type check to option test More... over 7 years ago
Fixes #1288 More... over 7 years ago
Fixes #1265 More... over 7 years ago
Added test for issue #1269 More... over 7 years ago
little fixes for @blerner's comments More... over 7 years ago
More flatness info through annotations More... over 7 years ago
Fixes #1152 The subtyping order was backward in meet-branch-types More... over 7 years ago
Fixes #1238 More... over 7 years ago
notes on this change More... over 7 years ago
Give t-top type to bindings in get-named-provides More... over 7 years ago
Check flatness of annotations (currently limited) More... over 7 years ago
Several small flatness fixes More... over 7 years ago
more tests, and more small fixes of representation More... over 7 years ago
some extremely basic flatness tests, and small fixes More... over 7 years ago
move flatness into its own module More... over 7 years ago
improving the bog-standard well-formedness errors, to have some formatting More... over 7 years ago
Merge remote-tracking branch 'origin/horizon' into horizon More... over 7 years ago
forgot a file yesterday More... over 7 years ago
remove template desugaring as a check block, potentially move to `is` desugaring later More... over 7 years ago
Merge pull request #1285 from brownplt/fix-emacs-mode-shorthand-lambda More... over 7 years ago
Fix fencepost error More... over 7 years ago
Add pyret-debug-mode More... over 7 years ago
Fix shorthand lambda and lingering field bug More... over 7 years ago
ugh, accidental typo More... over 7 years ago
hotfix (torepr instead of dquote) More... over 7 years ago
fix #1263 More... over 7 years ago