suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
19,939 Commits 17 Branches 54 Tags 278 MiB
3c081d8fa7
Commit Graph

105 Commits

Author SHA1 Message Date
Vincent St-Amour
740b8308d7 Scheme -> Racket 2010-12-10 17:17:02 -05:00
Vincent St-Amour
8baa1682af Turned the optimizer on by default. 2010-10-06 17:32:30 -04:00
Vincent St-Amour
4aa7bc8439 Explained a design decision. 2010-09-23 12:12:15 -04:00
Sam Tobin-Hochstadt
b6b840076b Lots more laziness, and useless require removal. 2010-09-09 16:08:03 -04:00
Sam Tobin-Hochstadt
cfc289d806 simplify 2010-09-08 11:37:02 -04:00
Eli Barzilay
8e0f8dd39c More "~n" -> "\n" changes 2010-08-26 12:11:00 -04:00
Eli Barzilay
7dc4d2e5a6 Change a bunch of "~%" and "~n" in format strings to "\n". 2010-08-25 17:17:01 -04:00
Eli Barzilay
606b7f60dc Lots of "~e" to "~.s" changes. 2010-08-25 17:17:01 -04:00
Vincent St-Amour
0b3c637f5d Added another tracing option to TR. 2010-08-05 09:04:24 -04:00
Vincent St-Amour
24aad77da3 Moved Typed Scheme's optimizer to its own subdirectory. 2010-07-08 18:29:15 -04:00
Sam Tobin-Hochstadt
efbdfd3e6e Support syntax errors blaming multiple syntaxes. 2010-07-01 11:35:20 -04:00
Sam Tobin-Hochstadt
f763404347 Forgot to disable this yet again. 2010-06-30 12:04:23 -04:00
Sam Tobin-Hochstadt
c01b239779 Refactor struct type representation. 
- fields now represented by fld struct.
 - mutability on per-field basis
 - accessors are per field

This fixes lots of existing bugs, allows future #:mutable on fields.
 2010-06-29 17:33:36 -04:00
Sam Tobin-Hochstadt
40ca16bc30 Types are not quotable. 2010-06-24 16:47:25 -04:00
Stevie Strickland
078b57c77d Export the types provide macro. 2010-06-21 18:30:26 -04:00
Sam Tobin-Hochstadt
0379e534e3 New interface for unstable/mutated-vars 
- functional hash tables
 - fix clients
 2010-06-10 13:28:29 -04:00
Carl Eastlund
e7814b63a7 Renamed call/debug from unstable/debug to debugf. 2010-06-06 20:31:37 -04:00
Carl Eastlund
ddc889532e Replaced unstable/debug with unstable/cce/debug. 2010-06-06 20:31:36 -04:00
Carl Eastlund
e52fb81aac Renamed bindings from unstable/hash and unstable/debug that will clash 
with subsequent adaptation of (planet cce/scheme) to collects/unstable.
These bindings are temporary, and will be replaced in the adaptation.
 2010-06-06 19:57:15 -04:00
Sam Tobin-Hochstadt
fac0e197cf Improve verbose printer. 
- Fewer newlines.
 - Avoid printing hidden fields.
 2010-05-24 13:23:37 -07:00
Sam Tobin-Hochstadt
684ae395e6 Fix w/c to handle expression form of with-contract, and disable internal contracts. 2010-05-13 14:41:59 -04:00
Sam Tobin-Hochstadt
1146ffa76d Merge branch 'master' into samth/new-logic2 
Conflicts:
	collects/typed-scheme/private/parse-type.rkt
	collects/typed-scheme/typecheck/tc-app.rkt
 2010-05-05 13:35:29 -04:00
Sam Tobin-Hochstadt
646bc0ecab avoid error when not transforming 2010-05-04 19:47:38 -04:00
Sam Tobin-Hochstadt
08ca97bf9e Don't wrap booleans, print typed values 2010-05-04 19:47:37 -04:00
Sam Tobin-Hochstadt
459a675b90 rename to rkt 2010-04-30 09:51:32 -04:00
Sam Tobin-Hochstadt
04f58cab86 Merge remote branch 'origin/master' into samth/new-logic2 
Conflicts:
	collects/drscheme/private/insert-large-letters.ss
	collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
 2010-04-30 09:34:31 -04:00
Sam Tobin-Hochstadt
b5acbe3168 move d/c/p 
fix tc-e/t
 2010-04-27 19:29:10 -04:00
Matthew Flatt
28b4043077 rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
Sam Tobin-Hochstadt
d4e0c16d55 a new branch of the whole tree 
svn: r18648
 2010-03-27 14:49:58 +00:00
Sam Tobin-Hochstadt
d58bf1521b added (disabled) optimization 
svn: r18567
 2010-03-17 19:25:21 +00:00
Sam Tobin-Hochstadt
9035e2e584 Prevent unbound identifiers from being in the base env. 
Fix some bugs caught by this.

svn: r18526
 2010-03-12 16:25:40 +00:00
Sam Tobin-Hochstadt
65b12a2af3 Use `current-contract-region' appropriately. 
Maintain source locations.
Fix PR 10776.

svn: r18421
 2010-03-01 23:43:15 +00:00
Sam Tobin-Hochstadt
3ea26dee84 Re-enable printing 
svn: r18420
 2010-03-01 22:56:03 +00:00
Sam Tobin-Hochstadt
78c14e434b Add `with-type' for defintions, add #:result keyword. 
Fix contract for top-arr.
Remove static version of printing conditional.
Fix brokenness in print-converting.

svn: r18416
 2010-03-01 22:31:24 +00:00
Carl Eastlund
1d6111c532 Renamed simple-contract and simple-flat-contract to make-contract and make-flat-contract. 
svn: r18259
 2010-02-22 02:51:16 +00:00
Sam Tobin-Hochstadt
33c18b3985 providing static struct information to untyped code works 
svn: r18198
 2010-02-19 23:27:06 +00:00
Sam Tobin-Hochstadt
d9f24d94e7 disable contracts 
svn: r18156
 2010-02-18 21:25:06 +00:00
Sam Tobin-Hochstadt
1039e68e03 New representation for free variables, now stored in struct. 
Interning now merely used to create key, eq? not = for types.

svn: r18107
 2010-02-17 00:09:38 +00:00
Sam Tobin-Hochstadt
8bf908d106 More restrictive handling of contracts for the `Any' type. 
svn: r18043
 2010-02-10 20:45:50 +00:00
Sam Tobin-Hochstadt
492cab22cb fix some contract errors 2010-02-03 11:44:10 -05:00
Sam Tobin-Hochstadt
536b94c305 new branch 2010-02-02 20:42:22 -05:00
Carl Eastlund
2513e7d6e0 Merged changes from the trunk. 
svn: r17892
 2010-01-30 04:59:20 +00:00
Sam Tobin-Hochstadt
e493ba5c6a improve internal error messages 
svn: r17819
 2010-01-25 17:23:19 +00:00
Sam Tobin-Hochstadt
674e40a212 Re-enable unexpanded syntax printing. Merge to release. 
svn: r17815
 2010-01-25 15:44:48 +00:00
Sam Tobin-Hochstadt
2cd7fe5499 Simplify pattern for expressions in type env. 
Attempt to avoid doing local-expansion repeatedly.

svn: r17812
 2010-01-25 14:46:34 +00:00
Carl Eastlund
7f58c26709 Replaced uses of quote-srcloc with quote-syntax. 
svn: r17757
 2010-01-19 23:25:07 +00:00
Carl Eastlund
9e540043bc Updated local-expand of contract forms in require/contract. 
svn: r17725
 2010-01-19 00:20:54 +00:00
Sam Tobin-Hochstadt
08457d35e3 Improve error messages in the simple case. 
Change 'typecheck to Type Checker in error messages.

svn: r17542
 2010-01-07 19:41:42 +00:00
Sam Tobin-Hochstadt
a8e1c829c2 Fix `type-apply' 
Fix duplicate filters

svn: r17522
 2010-01-07 00:55:51 +00:00
Matthew Flatt
e68aabd67a change expand and local-expand to lift certificates 
svn: r17439
 2009-12-30 17:27:38 +00:00