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

69 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
c16e48a083 Fix internal constructor name for struct:' so that struct-out' works. 
Closes PR 12447
Related to PR 12516
 2012-01-28 09:47:15 -05:00
Sam Tobin-Hochstadt
f3e3eb10ad Fix type of `memf' to be more permissive. 2012-01-28 09:47:15 -05:00
Neil Toronto
2465b87d84 Coolified clock-icon, added stopwatch-icon 
Updated Performance Report toolbar icon

Updated FrTime loading icon
 2012-01-20 13:16:42 -07:00
Neil Toronto
1b0db97919 Too many changes to cherry-pick for release 
This reverts commit b8e3e8a04b.
 2012-01-20 11:52:17 -07:00
Neil Toronto
b8e3e8a04b Fixed error in flomap gradient calculation (borders were always getting 0.0, causing erroneous lighting) 
Inset rendered deep-flomaps by 1px to harden against future border issues

Adjusted scatter-simulating blur (finally rid of edge sparklies!)

Added portable hash-quote-icon, stopwatch-icon

Vertical toolbar macro stepper icon now discernable

Updated Performance Report toolbar icon

Updated FrTime loading icon

Closes PR 12422

Please merge into release
 2012-01-19 21:33:22 -07:00
Sam Tobin-Hochstadt
b75e080aee Document unicode case->. 2012-01-13 14:40:48 -05:00
Vincent St-Amour
ca11c2e4fa Add an alternate name for case->. 2012-01-13 11:28:36 -05:00
Vincent St-Amour
87a53159dd Union types instead of clobbering them in the type table. 
This fixes a bug where only the last branch of a case-> type would get stored.
 2012-01-13 11:28:36 -05:00
Vincent St-Amour
631c145add Change Performance Report popups to frames instead of dialogs. 
This fixes the lack of close button on mac.
 2012-01-06 15:59:23 -05:00
Vincent St-Amour
076648fecc Improve documentation the TR numeric tower. 2012-01-06 13:19:14 -05:00
Vincent St-Amour
f50008280b Export Negative-Fixnum. 2012-01-06 13:19:14 -05:00
Vincent St-Amour
4556ea2992 Fix log's type for Real inputs. 2012-01-06 13:19:14 -05:00
Sam Tobin-Hochstadt
81bb8a5ea3 Improve type of `in-range'. 2011-12-19 19:41:45 -05:00
Ryan Culpepper
e086d237cd moved unstable/mutated-vars back to typed-racket 2011-12-18 13:57:49 -07:00
Sam Tobin-Hochstadt
7802eda605 Better types for fourth' -- tenth'. 2011-12-14 19:06:05 -05:00
Asumu Takikawa
1ec2f9ca82 Fix doc inconsistency for require/typed. 2011-12-13 16:54:01 -05:00
Sam Tobin-Hochstadt
adb6b79620 Filesystem errors are not internal typed racket errors. 2011-12-10 17:28:34 -05:00
Sam Tobin-Hochstadt
eb38783750 Fix type of `remove-duplicates'. 
Also fix type inference for functions with mandatory keyword arguments in other cases.
Related to PR 12434.
 2011-12-10 17:28:34 -05:00
Sam Tobin-Hochstadt
f23baef8aa Opaque types may overlap with anything. 
Closes PR 12434.
 2011-12-09 18:11:51 -05:00
Vincent St-Amour
b5d393d939 Add TR support for gcd and lcm on rationals. 2011-12-08 17:13:50 -05:00
Sam Tobin-Hochstadt
a497300fbe Drop some trivially-pure code. 2011-12-06 17:20:32 -05:00
Sam Tobin-Hochstadt
821ec051d0 Avoid providing internal macro. 2011-12-03 18:46:01 -05:00
Vincent St-Amour
9417503492 Fix for/sum: when summing something other than integers. 2011-12-02 15:21:14 -05:00
Vincent St-Amour
3279ea4b61 Whitespace cleanup. 2011-12-02 15:21:14 -05:00
Vincent St-Amour
8509b81f47 Allow integers as sequences in TR. 2011-11-30 17:54:27 -05:00
Vincent St-Amour
7ab62d109f Fix optimization of multi-argument float comparisons. 2011-11-22 17:52:50 -05:00
Vincent St-Amour
0a3a71fbbc Refine types of integer-bytes->integer' and arithmetic-shift'. 2011-11-15 15:31:07 -05:00
Sam Tobin-Hochstadt
5fe89966fc Fix missing argument. 
Closes PR 12356.
 2011-11-14 11:03:22 -05:00
Sam Tobin-Hochstadt
3caf08da43 Fix curried function type parsing without (). 2011-10-28 15:43:29 -04:00
Sam Tobin-Hochstadt
706198c059 Add `typecheck-fail' form for explicit type errors. 2011-10-25 12:10:58 -07:00
Sam Tobin-Hochstadt
da5b68fd4d Fix wrapping of null' when provided as Any'. 
Reported by 'dingfeng' on #racket.
Please merge to 5.2.
 2011-10-21 10:55:57 -04:00
Matthew Flatt
ec380e34ed remove built-in reader and printing support for Honu 
This is a backward-incompatible change, but I think it's
unlikely that any code depends on the removed bindings
or reader syntax.
 2011-10-05 09:40:27 -06:00
Vincent St-Amour
ef2acecb96 Forbid non-productive recursive types. 2011-09-23 14:40:17 -04:00
Matthew Flatt
0197902309 add var-ref->mod-decl-insp' and switch cur-code-insp' uses 
Macros and other tools that need syntax privilege used
`(current-code-inspector)' at the module top-level to try to
capture the right code inspector at load time. It's more
consistent to instead use the enclosing module's declaration-time
inspector, and `var-ref->mod-decl-insp' provides that. The
new function works only on references to anonymous variables,
which limits access to the inspector.

The real function name is longer, of course.
 2011-09-20 13:50:36 -06:00
Sam Tobin-Hochstadt
c55cceed8c Two types definitely overlap if they are equal. 
Fixes infinite loop in Whalesong compilation.
 2011-09-16 17:20:31 -04:00
Sam Tobin-Hochstadt
2570fae481 Minor comment formatting. 2011-09-16 17:20:31 -04:00
Eric Dobson
1f3d68e55e Added comments to explain TR's type on subprocess and friends. 2011-09-16 17:20:31 -04:00
Eric Dobson
7fcf28bef2 Gave subprocess and similar functions more precise types. 2011-09-16 17:20:31 -04:00
Eli Barzilay
623c7493ed Some selective #:when (not ...)' -> #:unless ...'. 2011-09-16 10:48:18 -04:00
Vincent St-Amour
297cecebcc Fix type of random to accept any Integer. 2011-09-13 15:42:04 -04:00
Vincent St-Amour
7e9e500818 Fix case-lambda type printing. 
Closes PR 12188.
 2011-09-13 15:42:04 -04:00
Vincent St-Amour
3c3e5902e5 Switch to square brackets for REPL type display. 2011-09-13 15:42:04 -04:00
Vincent St-Amour
68d58f7d2a Generalize types shown at the REPL, to keep types simple. 2011-09-13 15:42:04 -04:00
Vincent St-Amour
8ae1a903fa Compare numeric unions using a linear scan. 2011-09-13 11:22:24 -04:00
Vincent St-Amour
c63b5873e3 Optimize subtyping of numeric types. 2011-09-13 11:22:24 -04:00
Vincent St-Amour
40456b4fd8 Add a field to base types to indicate if they are numeric types or not. 2011-09-13 11:22:24 -04:00
Vincent St-Amour
32b56eb2fa Fix whitespace. 2011-09-13 11:22:24 -04:00
Sam Tobin-Hochstadt
b91880b05a random' always produces Float'. 2011-09-12 16:31:00 -04:00
Sam Tobin-Hochstadt
f9b0f0ce73 Move environment initialization after local expansion in Typed Racket. 
This means that syntax errors caught by `local-expand' are reported sooner, but shouldn't change other timing results.
 2011-09-12 11:52:26 -04:00
Sam Tobin-Hochstadt
ce45c12b67 Make the type of `syntax-local-module-defined-identifiers' more precise. 2011-09-12 11:52:25 -04:00