Matthew Flatt
ff81d89c52
guarantee current-inexact-milliseconds as since Jan 1, 1970
...
svn: r17343
2009-12-17 20:47:40 +00:00
Matthew Flatt
cab948d61f
fix up validator, decompiler, and zo-marshaler for flonum-argument annotations
...
svn: r17341
2009-12-17 20:17:48 +00:00
Sam Tobin-Hochstadt
5af212e825
Add `make-list'
...
Fix `let/ec:'
svn: r17340
2009-12-17 19:01:23 +00:00
Kevin Tew
73aa22e65d
spurious gc argument
...
svn: r17339
2009-12-17 17:59:47 +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
Mike Sperber
a3ae03861b
Typo fixes.
...
svn: r17336
2009-12-17 14:52:13 +00:00
Mike Sperber
56c6ae78f7
Typo fix fix.
...
svn: r17335
2009-12-17 14:35:02 +00:00
Mike Sperber
6a1b831ab8
Typo fix.
...
svn: r17334
2009-12-17 14:34:01 +00:00
Eli Barzilay
babae9a18d
Welcome to a new PLT day.
...
svn: r17333
2009-12-17 08:51:08 +00:00
Casey Klein
97c2278a6b
PR 10663
...
svn: r17332
2009-12-16 21:02:08 +00:00
Casey Klein
eb4403f1c7
PR 10650
...
svn: r17331
2009-12-16 20:46:58 +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
Eli Barzilay
e9cc9f643b
Welcome to a new PLT day.
...
svn: r17319
2009-12-16 08:50:31 +00:00
Jon Rafkind
df1c10a9a6
update provides
...
svn: r17317
2009-12-15 22:55:05 +00:00
Jon Rafkind
4f3f35a188
wrap module with the typed-scheme module-begin
...
svn: r17316
2009-12-15 22:49:01 +00:00
Kevin Tew
a23c519ac8
Make ffl_buf local
...
svn: r17315
2009-12-15 22:10:28 +00:00
Jon Rafkind
881b34dd80
bring over honu parsers
...
svn: r17314
2009-12-15 22:09:17 +00:00
Sam Tobin-Hochstadt
b9fd34b925
Fix type of string->number
...
svn: r17313
2009-12-15 22:03:10 +00:00
Jon Rafkind
1388a28583
experiment with typed scheme
...
svn: r17312
2009-12-15 18:48:18 +00:00
Sam Tobin-Hochstadt
a8851a8a3d
Fix psyntax to work in DrDr
...
svn: r17311
2009-12-15 18:29:59 +00:00
Eli Barzilay
b6887adfe8
minor tweaking
...
svn: r17310
2009-12-15 18:09:44 +00:00
Kevin Tew
73d2fde4af
Fix System_Child mark
...
svn: r17309
2009-12-15 16:58:16 +00:00
Robby Findler
d278ad3c86
added a clarification to the redex docs ala Carl's next post on icfp-test
...
svn: r17308
2009-12-15 16:57:37 +00:00
Robby Findler
dd18cc837f
added a clarification to the redex docs ala Carl's post on icfp-test
...
svn: r17307
2009-12-15 16:41:55 +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
Eli Barzilay
145ed582b3
Welcome to a new PLT day.
...
svn: r17305
2009-12-15 08:51:03 +00:00
Matthew Flatt
b0b5b5ddf6
R6RS port discloser patch
...
svn: r17304
2009-12-15 02:42:47 +00:00
Matthew Flatt
9d9e586123
finish up SRFI-98: docs and R6RS
...
svn: r17302
2009-12-15 01:21:09 +00:00
Matthew Flatt
8996c49ee9
SRFI-98 (with Windows support)
...
svn: r17301
2009-12-15 01:07:04 +00:00
Jon Rafkind
b9aa30a372
hack to disable type checking for now
...
svn: r17300
2009-12-15 00:02:22 +00:00
Matthew Flatt
87f05fed95
add #:save-errno option for foreign-function types
...
svn: r17299
2009-12-14 23:52:23 +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
Matthew Flatt
9a62da5639
R6RS SRFI-14 typo fix by Andreas Rottmann
...
svn: r17297
2009-12-14 23:48:52 +00:00
Jon Rafkind
4f4a8bc7c3
minor adjustments
...
svn: r17296
2009-12-14 20:18:44 +00:00
Jon Rafkind
c2b91768cc
add reference to 'fluid-let'
...
svn: r17295
2009-12-14 20:02:18 +00:00
Sam Tobin-Hochstadt
9b13bbb89c
fix typo
...
svn: r17294
2009-12-14 20:00:12 +00:00
Jon Rafkind
1e8d979c32
add eli's parameterize explanation
...
svn: r17293
2009-12-14 19:53:48 +00:00
Matthew Flatt
294e593dd2
fix overly pessimistic 'in-naturals' when an argument is supplied
...
svn: r17292
2009-12-14 17:51:36 +00:00
Eli Barzilay
147f55b690
Welcome to a new PLT day.
...
svn: r17290
2009-12-14 08:50:37 +00:00
Matthew Flatt
cd961f4a6b
decompiler fix to indicate that unsafe-flvector-ref can be unboxed
...
svn: r17289
2009-12-13 20:13:20 +00:00
Sam Tobin-Hochstadt
3331d907ea
Add unsafe version of nbody shootout benchmark.
...
svn: r17288
2009-12-13 19:30:22 +00:00
Eli Barzilay
52aac3bf60
Welcome to a new PLT day.
...
svn: r17286
2009-12-13 09:04:58 +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
f170b1529f
Add toolbar buttons for scribble/doc' and scribble/manual'.
...
Signed-Off-By: robby
svn: r17282
2009-12-13 03:34:01 +00:00
Sam Tobin-Hochstadt
e7e34f304c
Add match/derived' and match*/derived'.
...
Use `syntax-parse' to implement most of the match forms.
Avoid generating so much extraneous intermediate forms.
Add `go/one' for handling of `match'.
Make `cert' argument to `go' optional.
svn: r17281
2009-12-13 03:20:32 +00:00
Sam Tobin-Hochstadt
046c21b2ae
Make `make-provide/contract-transformer' available. To be used in
...
Typed Scheme's `provide'.
Signed-Off-By: sstrickl
svn: r17280
2009-12-13 03:17:51 +00:00
Sam Tobin-Hochstadt
fde17c1567
Provide more information in `hash/c' error messages.
...
Signed-Off-By: sstrickl
svn: r17279
2009-12-13 03:17:05 +00:00
