0
I Use This!
Activity Not Available

Commits : Listings

Analyzed about 8 years ago. based on code collected about 8 years ago.
Jul 16, 2010 — Jul 16, 2011
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Complete switch to direct type inference Anon32 More... about 12 years ago
Removed SchemeVar/SigmaVar, Solve, and Constraint Anon32 More... about 12 years ago
Add translation to core Anon32 More... about 12 years ago
Updated tests for new direct type infernece Anon32 More... about 12 years ago
Direct type inference that passes all tests :-) Anon32 More... about 12 years ago
More updates to support direct type inference Anon32 More... about 12 years ago
First attempt at direct type inference without using the solver Anon32 More... about 12 years ago
TAG 1.0 Anon32 More... about 12 years ago
Add test files for "some" quantifier Anon32 More... over 13 years ago
Added test files for 'some' in combination with existentials Anon32 More... over 13 years ago
Fixed inference bug where "some" types were generalized too early. Anon32 More... over 13 years ago
Unification of existentials takes constructed form into account Anon32 More... over 13 years ago
Fixed parse error where some was disallowed on type signatures Anon32 More... over 13 years ago
Ensure :s commond works on latest source Anon32 More... over 13 years ago
Ensure :s commond works on latest source Anon32 More... over 13 years ago
Add new test files and output Anon32 More... over 13 years ago
Updated test files for existentials in patterns Anon32 More... over 13 years ago
Sound checking of "open" in pattern annotations Anon32 More... over 13 years ago
Let "open" works now -- patterns still unsound -- fixed bug in annotated let binding inference Anon32 More... over 13 years ago
Add and updated test files Anon32 More... over 13 years ago
Fixed bug where the unopened type was passed to definitions bodies Anon32 More... over 13 years ago
First attempt at "open" keyword -- still unsound due to quantification over lambda patterns. Anon32 More... over 13 years ago
Split openAnnotation and openExistential in two functions Anon32 More... over 13 years ago
Add kind variable extraction to type Annotation Anon32 More... over 13 years ago
Renamed "free" to "some" Anon32 More... over 13 years ago
Re-support bounds for outer existentials Anon32 More... over 13 years ago
Use 'some' instead of 'free', disallow bounds in existentials Anon32 More... over 13 years ago
Allow to annotate "free" type variables. Anon32 More... over 13 years ago
Made existentials part of the test-suite Anon32 More... over 13 years ago
moved "correct/-<dir>" to "correct/_<dir>" Anon32 More... over 13 years ago