Matthew Flatt
8df33b629e
fix default #:keep argument of _cprocedure
2010-08-07 20:40:42 -05:00
Matthew Flatt
4d1e97ec8d
change start-atomic and end-atomic to disable breaks
2010-08-07 20:40:32 -05:00
Matthew Flatt
2696f3044c
distinguish reasons to wait on end of atomic mode
2010-08-07 20:40:25 -05:00
Matthew Flatt
01558aec5a
add way to constrain poll/select timeout from low-level evt
2010-08-07 19:30:46 -06:00
Matthew Flatt
f21864ee22
adjust atomic timeout handling to track atomic nesting
2010-08-07 19:30:40 -06:00
Matthew Flatt
804ff115e7
fix `raco setup' reported name for Windows
2010-08-07 19:19:08 -06:00
Robby Findler
561d33fddd
improved the name printing for between contracts
2010-08-07 14:35:08 -05:00
Robby Findler
98fb0e5b3a
moved a bunch of tests into the official test suite.
2010-08-07 14:35:08 -05:00
Robby Findler
9d98533e23
cleaned up a few little things here and there to pass the last of the existing tests
2010-08-07 14:35:08 -05:00
Robby Findler
b5fad95e58
make the optimizer give up more agressively when it starts out with a completely unknown thing
2010-08-07 14:35:08 -05:00
Robby Findler
306ae096eb
Fixed a bug in the eres handing (contracts where the dependent range variables are underscores)
2010-08-07 14:35:07 -05:00
Robby Findler
73177ceddc
moving machines
2010-08-07 14:35:07 -05:00
Robby Findler
2347568a6c
minor bug fixes
2010-08-07 14:35:07 -05:00
Robby Findler
9bc1b63ed4
added support for _ in range contracts
...
fixed a bug in blame assignment
2010-08-07 14:35:07 -05:00
Robby Findler
da9f5bd61a
fixed a few bugs in the ->i implementation and the test suite.
2010-08-07 14:35:07 -05:00
Robby Findler
10b6e58dd0
added support for rest arguments
2010-08-07 14:35:07 -05:00
Robby Findler
c31de06cc0
added result contract checking (after refactoring argument checking to make that more straightforward), prepared for #:post condition checking
2010-08-07 14:35:07 -05:00
Robby Findler
88aafb52eb
clarified the order of evaluation for contract expressions in ->i
2010-08-07 14:35:07 -05:00
Robby Findler
67f2a44fec
changed the parsed structs to better exploit similarity between arguments and results
2010-08-07 14:35:07 -05:00
Robby Findler
6d9066eb22
got #:pre conditions working
2010-08-07 14:35:06 -05:00
Robby Findler
5922ceda74
improved parsing of #:pre and #:post for ->i (fixed bugs and added more checks to the syntax)
2010-08-07 14:35:06 -05:00
Robby Findler
c1b558e1a3
adjusted the syntax of ->i so that #:post and #:pre get a list of variables now
2010-08-07 14:35:06 -05:00
Robby Findler
3b431c6ff2
->i now evaluates the arguments in the proper order
2010-08-07 14:35:06 -05:00
Robby Findler
d2894e7a8e
added in a use of Shu-yu's opt/c to see if it helps (which it does for complex contracts)
2010-08-07 14:35:06 -05:00
Robby Findler
40cde743a9
Got to the point where I can run some timings to see how well ->i does.
...
Here are the results, each contract put on the same function, namely:
(λ (x y) (+ x y))
1: (-> number? (<=/c 0) any)
2: (->i ([x number?] [y (<=/c 0)]) any)
3: (->i ([x number?] [y (x) (<=/c x)]) any)
4: (->d ([x number?] [y (<=/c 0)]) any)
5: (->d ([x number?] [y (<=/c x)]) any)
Taking f1 as the baseline, these are the relative times for calling
that thing over and over in a loop, supplying -1 as both of the
arguments:
f2: 1.01x
f3: 4.15x
f4: 21.1x
f5: 21.5x
2010-08-07 14:35:06 -05:00
Robby Findler
599fe85a16
Got the first example of indy blame working
2010-08-07 14:35:06 -05:00
Robby Findler
9fcc157b0d
this checkpoint causes racket to crash, with a segfault. run racket racket/contract/scratch.rkt to
...
see the error.
2010-08-07 14:35:06 -05:00
Robby Findler
4c240f2307
moving machines
2010-08-07 14:35:06 -05:00
Robby Findler
457248e9cc
moving to a different machine (some progress on optional & keyword args)
2010-08-07 14:35:05 -05:00
Robby Findler
d14796c276
got first example working
2010-08-07 14:35:05 -05:00
Robby Findler
5217744740
rename
2010-08-07 14:35:05 -05:00
Robby Findler
efd72af3d6
switching machines
2010-08-07 14:35:05 -05:00
Robby Findler
d75536161c
fixed bug in dependency checking for #:rest variables (and removed printfs)
2010-08-07 14:35:05 -05:00
Robby Findler
8f6080733f
fixed some bad ->i test cases
2010-08-07 14:35:05 -05:00
Robby Findler
9e92a976a7
added in checking that dependent variables are all sensible
2010-08-07 14:35:05 -05:00
Robby Findler
8b05829717
switching machines
2010-08-07 14:35:05 -05:00
Robby Findler
64a1ddcda9
adjusted the syntax for ->i so that #:rest is not ambiguous anymore (added extra parens, deviating from ->d a little bit) and updated the test suite
2010-08-07 14:35:05 -05:00
Robby Findler
7352d86f1f
improved check syntax's jump-to-definition so it scrolls to a more natural place
2010-08-07 14:35:04 -05:00
Robby Findler
79d0c581d4
moving machines
2010-08-07 14:35:04 -05:00
Robby Findler
561ac12a91
got started on the ->i parser
2010-08-07 14:35:04 -05:00
Robby Findler
3c70b9d2ab
improved docs for ->i, added docs for the-unsupplied-arg and exported
...
and added docs for unsupplied-arg?.
2010-08-07 14:35:04 -05:00
Robby Findler
18e9d886e2
added an ->i test suite, based on the ->d one (doesn't test for indy-ness tho)
2010-08-07 14:35:04 -05:00
Robby Findler
a66fd7574d
fixed a bug in the annotations for things like listof when they were used in a non-function position
2010-08-07 14:35:04 -05:00
Robby Findler
a524595af2
docs for ->i
2010-08-07 14:35:04 -05:00
Robby Findler
2b2fb3c07e
renamed the contract obligation properties and added options to a few more contract combinators
2010-08-07 14:35:04 -05:00
Robby Findler
8e4b169583
check syntax now remembers the mode it was in last time and uses that next time
...
also, fixed a bug in the way modes were switch around (colors would not
be reset if there was nothing new to color)
2010-08-07 14:35:04 -05:00
Robby Findler
482481fff5
made a bunch of the contract combinators also propogate blame information
...
for use in check syntax
2010-08-07 14:35:03 -05:00
Robby Findler
18b8cde3e2
adjusted the annotations so that contracts can declare multiple parts
...
of themselves to be colored and then used that so that the #:pre-cond
and #:post-cond keywords on ->i contracts are colored.
2010-08-07 14:35:03 -05:00
Robby Findler
b664b04999
added property for internal contract dependencies to ->i
2010-08-07 14:35:03 -05:00
Robby Findler
74a0e49a4b
Added properties so that the ->i contract now shows its obligation information
2010-08-07 14:35:03 -05:00
