suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
16,413 Commits 17 Branches 54 Tags 278 MiB
28acece484
Commit Graph

16413 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent St-Amour
bc794b443c Propagated Eli's changes to the mandelbrot benchmark to the generic 
and typed versions.
 2010-06-22 18:29:57 -04:00
Vincent St-Amour
192c1fa995 Fixed the types of flvector operations. 2010-06-22 18:29:56 -04:00
Vincent St-Amour
5234809baf The moments benchmark now gets floats as input. 2010-06-22 18:29:56 -04:00
Vincent St-Amour
61545c4e75 Made make-vector's type more convenient. 2010-06-22 18:29:56 -04:00
Vincent St-Amour
3bb0de0b53 Restored running of the typed shootout benchmarks by drdr. 2010-06-22 18:29:55 -04:00
Vincent St-Amour
dd858bc11f Got rid the the mandelbrot-unsafe benchmark, to reflect Eli's 
changes.
 2010-06-22 18:29:55 -04:00
Sam Tobin-Hochstadt
6e1954d79b Add `struct:' 2010-06-22 16:29:35 -04:00
Robby Findler
b286673c69 removed an unused style 2010-06-22 15:22:45 -05:00
Robby Findler
3fb5dbd1d3 Added another status line update to drracket for planet installations, showing when docs are being built 2010-06-22 14:22:35 -05:00
Robby Findler
9f5593c222 rackety mrlib/name-message 2010-06-22 14:22:35 -05:00
Robby Findler
c5b0c73111 added docs and minor cleanups in mrlib/name-message 2010-06-22 14:22:34 -05:00
Casey Klein
c083335ca5 Changes the matching of `where' clauses to the one most people expect. 2010-06-22 13:20:53 -05:00
Jay McCarthy
4d58a10ff4 Adding XPM parser 2010-06-22 11:33:06 -06:00
Sam Tobin-Hochstadt
bce2cedf38 Typecheck `map' expression, not just #'map. 2010-06-22 10:12:54 -04:00
Sam Tobin-Hochstadt
95c5f942e6 Initialize `infer' for tests 2010-06-22 10:11:14 -04:00
Casey Klein
c6ed9b9a12 Fixes a bug in `where' clause binding. 2010-06-22 05:42:17 -05:00
Stevie Strickland
550a8b3fa4 Handle new semantics for raco setup with no options. 2010-06-21 18:30:30 -04:00
Sam Tobin-Hochstadt
4df7d09ef1 Docs for List x ... 2010-06-21 18:30:30 -04:00
Sam Tobin-Hochstadt
0c7c722e16 support `map' over multiple ListDots with the same bound 
- also support ListDots + Listof (map errors when not same length)
 2010-06-21 18:30:30 -04:00
Sam Tobin-Hochstadt
b8777d20b2 allow optional specifcation of var pattern 2010-06-21 18:30:29 -04:00
Stevie Strickland
034b22d014 Generate dcon-dotted, and substitute for them. 
- generated only in the case where we have two ListDots or two ValuesDots
 - or when -> with the same bound, and fixed argument lengts are identical
 - currently errors if there are any 'fixed' portions
 2010-06-21 18:30:29 -04:00
Stevie Strickland
9c22701bd3 Take dcon-dotteds and create an appropriate i-subst/dotted entry. 2010-06-21 18:30:29 -04:00
Stevie Strickland
3f7ca52e37 Add fixed part to dcon-dotted. 2010-06-21 18:30:29 -04:00
Sam Tobin-Hochstadt
339add9f78 Implement substitutions as hash tables from vars to subst-rhs. 
- add convenience function for generating substitutions
 - give trivial substitution for unreferenced index variables
 2010-06-21 18:30:28 -04:00
Sam Tobin-Hochstadt
6b12757506 Add collection tab-completion for 'raco setup -l' 2010-06-21 18:30:28 -04:00
Sam Tobin-Hochstadt
44d46e4cd7 Refactor substitution. 
- new file types/substitute
 - use structs for substitutions
 2010-06-21 18:30:28 -04:00
Sam Tobin-Hochstadt
dcc8beb5cd This test case now passes. 2010-06-21 18:30:28 -04:00
Sam Tobin-Hochstadt
8990459be6 provide more information in inference failures 2010-06-21 18:30:27 -04:00
Sam Tobin-Hochstadt
692dc025c0 fix fail! to use the correct arguments 2010-06-21 18:30:27 -04:00
Sam Tobin-Hochstadt
9f99c914f3 Fix move-to-dmap functions 2010-06-21 18:30:27 -04:00
Sam Tobin-Hochstadt
2285e1a340 Make `debug' catch *all* exceptions 2010-06-21 18:30:27 -04:00
Stevie Strickland
b5d4d54d45 The initial shot at extending cgen and friends to take both X and Y. 
This doesn't fully work, in that more test cases are broken.  However,
this is mostly due to questionable inference rules in the past, and
so fixing these errors should lead to a more correct inference algorithm.

(i.e. we need to handle things like (List X ... a) (List Y .. b),
where a and b are not the same bound.  We'd started this work before,
but never actually gone through with it, since smashing regular and
dotted type variables into the same environment meant some things
magically worked when they possibly shouldn't have.)
 2010-06-21 18:30:26 -04:00
Stevie Strickland
078b57c77d Export the types provide macro. 2010-06-21 18:30:26 -04:00
Stevie Strickland
ec09139e0a Fix up subst-gen to treat vars and idxs separately. 2010-06-21 18:30:26 -04:00
Sam Tobin-Hochstadt
d886331807 Various small assorted fixes. 2010-06-21 18:30:25 -04:00
Sam Tobin-Hochstadt
e235c837b0 The inference engine doesn't need this annotation anymore. 2010-06-21 18:30:25 -04:00
Sam Tobin-Hochstadt
82e7d281cb More progress on refactoring infer 2010-06-21 18:30:25 -04:00
Sam Tobin-Hochstadt
18f45c4138 Fix a bunch of uses of `infer' et al. 2010-06-21 18:30:25 -04:00
Sam Tobin-Hochstadt
99e499a503 Change inference to take into account index vs regular vars. 2010-06-21 18:30:24 -04:00
Sam Tobin-Hochstadt
e8a591d291 Fix free index computation when the body refers to the bound. 2010-06-21 18:30:24 -04:00
Sam Tobin-Hochstadt
662f982b72 Refactor free variables. 
- free-idxs no longer holds free de Bruijn indexes
   This information is not needed, and not stored anywhere
 - free-idxs holds free *index* variables, in the sense of the TOPLAS submission
 2010-06-21 18:30:24 -04:00
Sam Tobin-Hochstadt
7b2de53733 Re-enable the printer here. 2010-06-21 18:30:24 -04:00
Sam Tobin-Hochstadt
fe9395fdbf Add case to be fixed 2010-06-21 18:30:23 -04:00
Sam Tobin-Hochstadt
b787c7766c Switch to using functional hash tables for free variables. 2010-06-21 18:30:23 -04:00
Sam Tobin-Hochstadt
a93aecbed7 Special case for (apply values ListDots) 2010-06-21 18:30:20 -04:00
Sam Tobin-Hochstadt
12384c6c3f Change type variable environments from hash tables to sets. 2010-06-21 18:29:59 -04:00
Sam Tobin-Hochstadt
e9f8cc9aca Refactor test harness. 2010-06-21 18:29:59 -04:00
Sam Tobin-Hochstadt
d570006db8 Add index-env. 
- Remove Dotted and DottedBoth values from tvar-env
 - Abstract env extension and lookup for tvar/index-env
 - Abstract index inference
 - Remove pointless parameterizations
 2010-06-21 18:29:58 -04:00
Sam Tobin-Hochstadt
0fb1ac66bd Properly compute Dotted variance for ListDots and ValuesDots. 2010-06-21 18:29:58 -04:00
Sam Tobin-Hochstadt
a9c34dae6a Remove dotted-env. 2010-06-21 18:29:58 -04:00