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
Matthew Flatt
41261c6047
fill out fl and fx operations; repair fixnum-overflow bug in quotient
...
svn: r17524
2010-01-07 03:30:33 +00:00
Sam Tobin-Hochstadt
a8e1c829c2
Fix `type-apply'
...
Fix duplicate filters
svn: r17522
2010-01-07 00:55:51 +00:00
Sam Tobin-Hochstadt
c7cb124c95
Put dynamic behavior of `check-expect' into functions.
...
Give those functions types.
svn: r17519
2010-01-06 23:03:08 +00:00
Robby Findler
68efb4008a
normalized the results of procedure-arity
...
svn: r17504
2010-01-06 19:34:29 +00:00
Sam Tobin-Hochstadt
ac9d2d8d9e
Support prefab struct literals in quasipatterns.
...
Fixes PR 10050.
svn: r17495
2010-01-06 16:41:17 +00:00
Matthew Flatt
6151119d5e
JIT tweak for flonum comparisons; better bytecode-compiler transformations for expressions used as branch tests
...
svn: r17486
2010-01-05 20:24:59 +00:00
Matthew Flatt
3902824d88
adjust inlining algorithm again; better JIT compilation of nested branches; better JIT handling of literal floating-point numbers
...
svn: r17484
2010-01-05 15:13:03 +00:00
Sam Tobin-Hochstadt
b802c7dfd0
Fix PR 10140
...
svn: r17473
2010-01-04 01:12:58 +00:00
Matthew Flatt
38d7e8fea2
built-in fixnum ops; bug fix related to misuse of flonum ops; questionable attempt to improve inlining algorithm
...
svn: r17461
2010-01-02 16:33:28 +00:00
Robby Findler
e821a0c461
separated 2htdp/universe from htdp/image, allowing either htdp/image or 2htdp/image to be used
...
svn: r17430
2009-12-29 23:59:39 +00:00
Robby Findler
37613b0bde
fixed use of random for 64 bit machines
...
svn: r17401
2009-12-25 20:03:32 +00:00
Matthew Flatt
b18ba4a4e5
fix use of 'random' in fixnum test suite
...
svn: r17397
2009-12-25 13:14:57 +00:00
Robby Findler
195d608fe5
added scheme/fixnum
...
svn: r17391
2009-12-23 15:41:40 +00:00
Matthew Flatt
f332afc3dd
fix leak created by transitive thread-resume
...
svn: r17370
2009-12-20 15:39:55 +00:00
Eli Barzilay
942798196f
removed old copy of md5 tests from mzscheme tests
...
svn: r17368
2009-12-20 09:58:19 +00:00
Eli Barzilay
bf2992ff97
md5 tests in the file tests
...
svn: r17367
2009-12-20 09:57:26 +00:00
Eli Barzilay
4cd3d34b43
require md5 from file/md5
...
svn: r17364
2009-12-20 09:46:09 +00:00
Stevie Strickland
fb85388288
Add this%, which is the class counterpart of the object reference "this".
...
svn: r17359
2009-12-19 20:56:40 +00:00
Matthew Flatt
0a1e4e6e83
fix an allocation in bytecode compiler; add flvector equality
...
svn: r17353
2009-12-18 21:53:02 +00:00
Matthew Flatt
9192f073d0
compiler flonum tweaks
...
svn: r17349
2009-12-18 16:59:05 +00:00
Matthew Flatt
fdd7122994
scheme/flonum (v4.2.3.8)
...
svn: r17348
2009-12-18 15:40:00 +00:00
Matthew Flatt
bc47db42e4
unboxed known-flonum loop accumulators
...
svn: r17338
2009-12-17 15:58:29 +00:00
Sam Tobin-Hochstadt
142bbf19fd
fix to account for changes to common/cmdline.ss
...
svn: r17337
2009-12-17 15:46:48 +00:00
Sam Tobin-Hochstadt
9e6e9696af
Use flsqrt.
...
Eliminate pointless micro-optimizations.
svn: r17330
2009-12-16 16:24:54 +00:00
Matthew Flatt
45e84ca087
unboxing of let-bound flonums (v4.2.3.6)
...
svn: r17328
2009-12-16 13:30:40 +00:00
Sam Tobin-Hochstadt
b9fd34b925
Fix type of string->number
...
svn: r17313
2009-12-15 22:03:10 +00:00
Sam Tobin-Hochstadt
a8851a8a3d
Fix psyntax to work in DrDr
...
svn: r17311
2009-12-15 18:29:59 +00:00
Sam Tobin-Hochstadt
3687048bbb
use flvectors in spectralnorm-unsafe
...
Add input info for spectralnorm-unsafe
svn: r17306
2009-12-15 16:26:47 +00:00
Matthew Flatt
d13057d8c4
add psyntax as a kind of realistic-program benchmark (I'd like to have more)
...
svn: r17298
2009-12-14 23:51:09 +00:00
Sam Tobin-Hochstadt
3331d907ea
Add unsafe version of nbody shootout benchmark.
...
svn: r17288
2009-12-13 19:30:22 +00:00
Sam Tobin-Hochstadt
22903bffcd
Fix handling of logical props in `tc-if'.
...
New numeric hierarchy.
Quoted lists and vectors now use the expected type, and quoted lists have (List a b c) type.
Fix some contracts.
More general handling of polymorphic function application.
Use `make-provide/contract-transformer' to generate correct blame for typed provided identifiers.
Add mutable pairs.
Use `raise-syntax-error' for better error messages in mzscheme.
Use `match*' instead of `list'
Some fixes to appease the contract checking.
Catch-all printing cases.
Use names in Base contract generation.
Types for lots of new primitives.
Move numeric primitives to their own file.
Move indexing primites to their own abstracted file.
Better error message from `define-struct:'
Fix 'insert-large-letters.ss' for new Number hierarchy.
Add `typed/scheme' and `typed/scheme/base', which use new number hierarcy types, stricter indexing types.
svn: r17284
2009-12-13 04:45:17 +00:00
Matthew Flatt
5772fa0a9f
bytecode-compiler changes to help enable flonum unboxing
...
svn: r17283
2009-12-13 04:39:46 +00:00
Sam Tobin-Hochstadt
3e497704aa
fix unit tests
...
svn: r17269
2009-12-11 17:01:55 +00:00
Sam Tobin-Hochstadt
791ec55787
fixes
...
svn: r17265
2009-12-11 00:25:59 +00:00
Sam Tobin-Hochstadt
314270113a
sync to trunk
...
svn: r17263
2009-12-10 18:35:02 +00:00
Sam Tobin-Hochstadt
c8c9bd0556
Add `in-bytes-lines'
...
svn: r17261
2009-12-10 17:01:53 +00:00
Sam Tobin-Hochstadt
5767e23d87
checkpoint
...
svn: r17258
2009-12-10 15:32:17 +00:00
Sam Tobin-Hochstadt
cd0a94d465
sync to trunk
...
svn: r17249
2009-12-09 19:44:12 +00:00
Robby Findler
a429c3ff8d
first attempt at randomly clicking on drscheme into drdr
...
svn: r17243
2009-12-08 22:24:38 +00:00
Sam Tobin-Hochstadt
be77cee733
Fix parsing of quoted lists in types to produce list types.
...
svn: r17237
2009-12-07 15:50:51 +00:00
Sam Tobin-Hochstadt
70f085713d
PR 10647
...
svn: r17235
2009-12-07 13:55:36 +00:00
Eli Barzilay
f83bf42796
use "anonymous-module" for modules without a source file
...
svn: r17228
2009-12-06 10:46:05 +00:00
Eli Barzilay
6a88daecd8
fixed test for binding of delay that moved again
...
svn: r17223
2009-12-06 05:15:20 +00:00
Eli Barzilay
259350a7e1
untabity and minor formatting
...
svn: r17222
2009-12-06 05:06:40 +00:00
Robby Findler
ada899f158
added more examples and tests for order-of-magnitude
...
svn: r17212
2009-12-05 20:38:38 +00:00
Robby Findler
1a8bca736f
PR 10581
...
svn: r17210
2009-12-05 18:35:25 +00:00
Eli Barzilay
b5114a14c1
formatting
...
svn: r17192
2009-12-05 02:23:46 +00:00
Stevie Strickland
5650cb9647
Fix the module-reader tests.
...
svn: r17183
2009-12-04 20:18:14 +00:00
Matthew Flatt
c73b587e98
inline flvector-length
...
svn: r17178
2009-12-03 18:04:02 +00:00
