suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
21,113 Commits 17 Branches 54 Tags 278 MiB
589f42feb1
Commit Graph

1290 Commits

Author SHA1 Message Date
Vincent St-Amour
589f42feb1 Reorganize TR docs directory. 2011-06-14 17:53:27 -04:00
Vincent St-Amour
b835e8a75b Add myself to the TR doc author list. 2011-06-14 17:53:27 -04:00
Vincent St-Amour
a1787cede4 Document optionality of type annotations for the for: macros. 2011-06-14 17:53:27 -04:00
Vincent St-Amour
2922821f3c Synthesize annotations for for/lists: if possible. 2011-06-14 17:53:27 -04:00
Vincent St-Amour
f4973ff05e Remove obsolete comment. 2011-06-14 17:53:27 -04:00
Vincent St-Amour
8c92a32cbb Fix bad name. 2011-06-14 17:53:27 -04:00
Vincent St-Amour
a5bccaffe1 Allow omitting type annotation in most of the for: forms. 2011-06-14 17:53:27 -04:00
Vincent St-Amour
506980240a Allow omitting type annotation on for/fold:. 2011-06-14 17:53:26 -04:00
Eric Dobson
c7f9a80de8 TR: Changed type of port->list 2011-06-10 17:22:14 -04:00
Vincent St-Amour
d732c12b96 Fix documentation of the for: macros. 2011-06-07 21:15:17 -04:00
Vincent St-Amour
7f55680028 Eta-expand typechecking of literals, to improve performance. 2011-06-07 21:15:17 -04:00
Eric Dobson
44d591b5ba Make sure type environment is only initialized once 2011-06-07 21:15:17 -04:00
Eric Dobson
157481ceda Added check to make sure that safe/unsafe flonumops are the same binding 2011-06-07 21:15:17 -04:00
Eric Dobson
88ce4e281c Base type environment now checks for duplicate types. 2011-06-07 21:15:17 -04:00
Eli Barzilay
40a88b6037 Fix TR docs wrt to `racket/function' change, close evaluators, fix 
copy/paste typo in `thunk' docs.
 2011-06-07 13:07:46 -04:00
Eli Barzilay
2eb0a94677 Removed a bogus provide and two bogus tests. 
(Which worked because the same functionality is part of `racket'.)
 2011-06-07 03:38:06 -04:00
Vincent St-Amour
bb71f9b66d Fix contract generation for Exact-Rational. 
Closes PR11954.
 2011-06-02 16:52:46 -04:00
Vincent St-Amour
6de5f48810 Optimize sqr on floats. 2011-06-02 16:49:25 -04:00
Vincent St-Amour
c7d2f13dd0 Preserve source location in the optimizer. 2011-05-24 16:53:53 -04:00
Vincent St-Amour
5352593bf1 Have TR optimize at the REPL. 2011-05-24 16:53:53 -04:00
Matthew Flatt
00e17ab51f adjust Guide to warn about performance measurement in DrRacket 2011-05-24 08:02:09 -06:00
Vincent St-Amour
3b036388d6 Remove trailing whitespace. 2011-05-18 17:09:45 -04:00
Vincent St-Amour
a1fab6ec06 Give more meaningful names to conditional contract forms. 2011-05-18 17:09:45 -04:00
Vincent St-Amour
027947eef2 Use more descriptive variable names. 2011-05-18 17:09:45 -04:00
Vincent St-Amour
c02071b262 Reduce the number of hygiene violations in rep-utils.rkt. 
Beginning of an attempt to make that file comprehensible.
 2011-05-18 17:09:44 -04:00
Vincent St-Amour
b65054134a Fix TR documentation to use the new location of base env files. 2011-05-17 18:30:54 -04:00
Vincent St-Amour
bc4a7df94d Better solution to the toplevel printing bug. 2011-05-17 18:30:53 -04:00
Eric Dobson
9a65545814 Path manipulation now works with SomeSystemPath correctly. 2011-05-17 18:03:48 -04:00
Eric Dobson
05af2b9e17 Split Path type into Path and OtherSystemPath. 2011-05-17 18:03:48 -04:00
Vincent St-Amour
8f6d3c7920 Avoid printing results of tests when eliminating if branches at the toplevel. 
Closes PR 11928.
 2011-05-17 17:47:21 -04:00
Vincent St-Amour
1ed0e84791 Move base environment files to their own subdirectory. 2011-05-17 15:16:18 -04:00
Sam Tobin-Hochstadt
c2291e049d Add types for some of `syntax/stx' 
Add hacked types for `with-syntax' internals.
 2011-05-16 14:55:17 -04:00
Vincent St-Amour
4cd0ad4b1a Coerce reals in float expressions when valid. 2011-05-16 11:44:35 -04:00
Sam Tobin-Hochstadt
e92af62ca0 Add contract generation for Set type. 2011-05-15 22:53:20 -04:00
Sam Tobin-Hochstadt
27aa3f7556 Add type for `error-display-handler' 2011-05-08 15:36:48 -04:00
Sam Tobin-Hochstadt
2f3e9fc655 Add types for `in-hash' etc. 2011-05-08 15:36:48 -04:00
Eric Dobson
e9683e1dd2 Changed early failure in subtyping to all non-struct values, not just null. Closes PR 11887. 2011-05-06 11:39:01 -04:00
Sam Tobin-Hochstadt
af56616fc8 Require numeric-predicates at the correct phase. 
Closes PR 11897.
 2011-05-05 19:04:38 -04:00
Sam Tobin-Hochstadt
507db7e5a6 Include extra-procs in the #:use-sources. 2011-05-05 19:04:38 -04:00
Vincent St-Amour
d7fd2b2e3f Add extra early failure cases to subtype* to avoid inference failures. 2011-05-05 18:54:12 -04:00
Eric Dobson
f3c73a197e Changed Paths to PathStrings in types where appropriate 2011-05-03 18:20:31 -04:00
Eric Dobson
44f377bcd4 Correctly instantiate poly-dotted functions with zero arguments. 
Closes PR 11776. Closes PR 11545.
 2011-05-03 18:20:31 -04:00
Sam Tobin-Hochstadt
045fd7a77c Document utility predicates. 2011-05-03 08:15:37 -04:00
Eric Dobson
613e121783 Struct types now generate flat contracts when appropriate. 
Closes PR 11686.
 2011-05-03 08:15:37 -04:00
Sam Tobin-Hochstadt
31aa47f136 Fix a couple typos found by mflatt and the optimzer. 2011-04-30 19:49:00 -04:00
Vincent St-Amour
4d24cbee60 Promote more literals at compile-time. 2011-04-29 17:16:39 -04:00
Sam Tobin-Hochstadt
551ad63f4e Document many more numeric types, and fix documentation for `typed/scheme' etc. 2011-04-29 13:27:38 -04:00
Sam Tobin-Hochstadt
6a87483f38 Document a bunch of TR types and special forms. 2011-04-28 18:26:07 -04:00
Sam Tobin-Hochstadt
561d89f0af Remove uneccesary provides. 2011-04-28 18:25:22 -04:00
Sam Tobin-Hochstadt
c28f024ae0 Progress on missing docs. 2011-04-28 18:25:22 -04:00