Stevie Strickland
5ba7ce5c73
Just a small change, nothing big.
...
svn: r13885
original commit: bd4c6f40ba5c854817091bf0ddf9463415987bf1
2009-03-01 01:12:03 +00:00
Stevie Strickland
2a58f8d016
Cleanups.
...
svn: r13884
original commit: 837906b7834c8b42c94db219fd04ebdba188c277
2009-02-28 20:34:06 +00:00
Stevie Strickland
87b0915ce1
We can't actually change how exports are set, we can only change how they're
...
retrieved, so having each export be a cons of an accessor/mutator pair is
misleading. Remove the mutator, just have the unit set-box! the box directly,
and just export the accessor.
svn: r13882
original commit: b58c5881c645ae2cb248252922cb13b3e5c3c7b5
2009-02-28 19:46:47 +00:00
Stevie Strickland
74dad6d8d4
Adding unit/s and define-unit/s, which is the inferred version of
...
unit-new-import-export etc.
svn: r13860
original commit: cf005e3297f845dadedda0c6c55f86d2ec8bb661
2009-02-26 22:52:08 +00:00
Stevie Strickland
dd8e3a30af
More name-setting fun.
...
svn: r13807
original commit: 5a1f31668d00469284ba9712078fdd2e854df53c
2009-02-23 22:22:06 +00:00
Stevie Strickland
5d478c9aa1
Fixing some more inferred-name placements.
...
svn: r13806
original commit: e727f4fd083b3728d9531486f26d2be42e2bd882
2009-02-23 22:05:09 +00:00
Stevie Strickland
5074111cf3
Try to set up the inferred-name property appropriately.
...
svn: r13805
original commit: 78dbc225981e467c8399b5aca535b9e69ccb1a72
2009-02-23 21:46:22 +00:00
Stevie Strickland
10541eb0a1
* Add initial version of define-struct/contract
...
* Allow uncontracted exports of syntax from a with-contract form.
svn: r13717
original commit: 7e8816ce0f212c87e5a32433b869d0dc5ce14002
2009-02-18 02:25:45 +00:00
Stevie Strickland
98d9dadb04
Rename cstruct to struct/ctc, to avoid confusion with cstruct from the ffi.
...
svn: r13661
original commit: c6b92782e234f99f488e12137b608e2553151dea
2009-02-16 14:50:59 +00:00
Stevie Strickland
cf063bd01f
Adding cstruct, which is like the struct signature form but with contracts.
...
svn: r13647
original commit: 340035bef7544d1bb868c98e5fb28a18a4214222
2009-02-16 02:51:12 +00:00
Sam Tobin-Hochstadt
fa74471fad
sync to trunk
...
svn: r13609
original commit: 738b8311afd40047e22fcf0181e34cef541e7ece
2009-02-15 17:45:53 +00:00
Stevie Strickland
3c797943eb
Fix scoping of name.
...
svn: r13601
original commit: af1e57d33e310e1c70613dc44cb1f40875c2f061
2009-02-15 06:36:00 +00:00
Stevie Strickland
4a5a989efd
Clean up some bindings, moving them from defines to letrec-syntax.
...
svn: r13599
original commit: 62d82ca9be81dbab8ab3472a0222bbe212c3debc
2009-02-15 05:20:30 +00:00
Stevie Strickland
f64f7896e0
There is now a new form, define-unit/contract, that basically mixes
...
define-unit with the application of a unit contract. So you can think
of it as a define/contract for units that keeps the static info needed
for link inference.
svn: r13584
original commit: cbcad0528c45427ebdd45350068a254e000ed159
2009-02-14 21:32:02 +00:00
Stevie Strickland
a434af8f5d
Make a table of the original imports these came from for easy lookup. This
...
way we can actually bind only the identifiers which were in the original
signature over the contract.
svn: r13567
original commit: dba74f8f15c36dbacb0c18ee7a71dcf693d3969c
2009-02-14 02:33:15 +00:00
Stevie Strickland
eb8a57c182
* Fix unit/c so that less unnecessary code is generated.
...
* Fix contracts for signatures and units so that references to
other signature members work appropriately.
* Add text about signature and unit contracts to the Guide.
svn: r13562
original commit: 387c8b210f6d8361238fa9416e96eff225d7d6d3
2009-02-13 22:50:49 +00:00
Stevie Strickland
71aba294df
Fix up the contracts so that they properly refer to locally defined variables.
...
svn: r13527
original commit: 8656e7e918e2f08e4873dbfc48f738cbb234a1d4
2009-02-12 03:51:40 +00:00
Stevie Strickland
0ae02503f4
Adding the initial cut at unit/c.
...
svn: r13524
original commit: fbb5de4fa7007e105addbf421394f28f702f2f79
2009-02-11 22:46:48 +00:00
Matthew Flatt
f9a3e7205a
adjust handling of version numbers with dylib suffix
...
svn: r13476
original commit: 20f2e32f99baabf26954091350dbc94f825a11bd
2009-02-06 23:46:29 +00:00
Matthew Flatt
93faac6e83
use PDF-based picts in the Latex build of the Quick tutorial; in general, change a .pdf image extension to .png for HTML output; add package-original-identifiers and fix package-exporte-identifiers
...
svn: r13432
original commit: e5756667d67e7c98462656d4c55d1c82eb6753ed
2009-02-04 21:03:28 +00:00
Jay McCarthy
df3738bc91
cookies
...
svn: r13397
original commit: 0b816d2942e593c6e4bfc9c8c0acbadff6a3b8ae
2009-02-03 22:32:35 +00:00
Eli Barzilay
52854880c8
use the cstruct type directly, not via ctype-basetype
...
svn: r13345
original commit: cc6ff9d5d75e09c781c1043dd7651034fcb544ff
2009-02-01 03:31:41 +00:00
Stevie Strickland
7a9fd5370c
Abstraction of the boxes used for unit imports/exports to allow for adding
...
contracts in an already created unit.
svn: r13331
original commit: f6493e1c3265627799d62d422a252dd20f14675b
2009-01-31 01:39:23 +00:00
Stevie Strickland
122b049167
Disallow unit/new-import-export if contracts are involved. This is not
...
planned to be permanent, but until I've figured out how to implement the
fix, just say no.
svn: r13311
original commit: 2f323578def1504977a1238d3d5c5fbfece9cd1e
2009-01-29 07:19:23 +00:00
Robby Findler
8f3c97eab8
allows colons in the userinfo field of a url (ie, does not encode them)
...
svn: r13282
original commit: 134138916fbfaf52b45a43f62eb557eab7ecb142
2009-01-25 20:12:08 +00:00
Matthew Flatt
fa1e6bf2c7
fix #:all-defined for 'define-package' by adjusting 'identifier-remove-from-definition-context'; add for-syntax 'package?' and 'package-export-identifiers'; adjust Scribble to find definitions of phase-1 exports
...
svn: r13253
original commit: db12513b65e79d2fe9e3c824e4232b1c981082d0
2009-01-21 20:00:55 +00:00
Stevie Strickland
caad0a01f3
Only apply a single contract wrapping to a value contracted through unit
...
exporting/importing. Also add some more unit contract tests.
svn: r13203
original commit: e1d5ced45ea68ee376cd16728fa3a5dfc73eb8c2
2009-01-18 10:38:52 +00:00
Stevie Strickland
98280bd936
Now that we're in with-contract land, use the same syntax parameter for units
...
as well as with-contract and define/contract.
svn: r13181
original commit: 39d9cfbb0aac1f619782a5f1867d3b68c75c18c3
2009-01-16 20:41:51 +00:00
Stevie Strickland
b4bd9f99b3
Missed a case. Oops.
...
svn: r13142
original commit: 9df50b125a7aa278e087c17450794861735429e5
2009-01-15 05:37:23 +00:00
Stevie Strickland
650f7a3219
Okay, let's try using the "internal" names instead of the "external", which
...
might make some errors more obvious.
svn: r13141
original commit: bd802748e03c3434195279056f4223b94ddfc48f
2009-01-15 05:32:46 +00:00
Stevie Strickland
f5961b496a
Actually make this used specifically for blame, not the unit name.
...
We might end up collapsing this and what's introduced in with-contract.
svn: r13140
original commit: 6e86da95e60f9d2aaef92c73226c9f99f374c3ae
2009-01-15 05:17:27 +00:00
Stevie Strickland
855492f109
Add error checking for contracted form, also added documentation in reference
...
svn: r13135
original commit: dbe366c6a0855abc117d7be2f160be058b882ec8
2009-01-15 00:42:49 +00:00
Stevie Strickland
95759e5196
Change this more to how it should be.
...
svn: r13124
original commit: c7ee5b600c1023f612df6c4549f0bde66eef1416
2009-01-14 21:35:07 +00:00
Stevie Strickland
242e3f0266
Fixing these back up to how they were before.
...
svn: r13123
original commit: d3f703b04368b74d5435fcb81d8de8521c4976e1
2009-01-14 21:31:46 +00:00
Stevie Strickland
dc8c149c77
Let's just make some differently painted identifiers so that some
...
error messages won't reveal the non-similarly-named ids behind the
curtain.
(I have my hammer, and damn if I won't use it.)
svn: r13107
original commit: 12fc114993b4c5962791984e2ff47340d7a89a88
2009-01-14 03:14:26 +00:00
Eli Barzilay
8f600ef6f7
newlines at EOFs
...
svn: r13105
original commit: d1a0086471bf5e9553a9b056b26286c427831d38
2009-01-14 03:10:47 +00:00
Stevie Strickland
4a1629bf41
Going to try switching this back, but need to sync from trunk to get Matthew's
...
changes to see if it works.
svn: r13098
original commit: b5efb99548e940818a92f41c174bc713bfa80e6b
2009-01-14 01:12:52 +00:00
Stevie Strickland
6a6a4909d4
Move away from using the error-syntax to grab the unit name wherever we want
...
it -- just use a syntax parameter.
svn: r13096
original commit: 37b2272ecf1a3e6826060560c826483ce4d64ced
2009-01-13 23:08:47 +00:00
Stevie Strickland
4380d8a399
Allow multiple identifier/contract pairs in the same contracted form.
...
svn: r13054
original commit: 0db2eb851a46185f0f09a130f707e1cdd748c50e
2009-01-09 22:22:24 +00:00
Stevie Strickland
4d8f6fdeb0
Tag the contracts so we know what are truly contracts and which are just
...
placeholder #fs.
svn: r13048
original commit: af69c0bbeccf2fab5e11b104cd8bb3a686f343f9
2009-01-09 19:50:28 +00:00
Stevie Strickland
ea41bc867d
Basically write begin-with-definitions here by hand, which _does_ work.
...
So that should pretty much give us unit contracts, modulo whether we can
separate out the projections so that contracts aren't checked twice
inappropriately.
svn: r13047
original commit: bae2c7b5e121448891289fde194ffbaaced33a24
2009-01-09 19:08:03 +00:00
Stevie Strickland
81e4bee047
There's no need for the special-casing define-values with one binding, so
...
simplify this.
svn: r13044
original commit: 8d1b82bcd21e42fcc2df2827291a8264aef189d9
2009-01-09 00:59:04 +00:00
Stevie Strickland
679f32c6dc
Small fixes
...
svn: r13043
original commit: a932bfc84a65d6a6d9a9cf124931ce0ca3b30117
2009-01-09 00:33:43 +00:00
Stevie Strickland
3301fdba75
We do _not_ want (void) last, we want it first here.
...
svn: r13040
original commit: e402d7ea36a8d8b85119c183458a76645776922d
2009-01-08 20:52:18 +00:00
Stevie Strickland
343618feec
Changed to be more like what Sam and I envisioned.
...
svn: r13039
original commit: bf0d872afdcb3b511051da314cfd476c9d6e65ef
2009-01-08 20:50:33 +00:00
Matthew Flatt
365bc53e44
change _string/utf-16 and _string/ucs-4 so that #f = NULL (for consistency with other pointer types), and drop the /null variants
...
svn: r13031
original commit: 0663588ee1f03c92ad6d4d0956a293d43e6f266d
2009-01-07 17:49:14 +00:00
Robby Findler
42e6044cd4
opened up the trace library a little more to make it more useable for Redex
...
svn: r13027
original commit: cda64e40da21ef9e639faa82f741bfd736edf245
2009-01-07 15:44:07 +00:00
Matthew Flatt
3fd92992ee
revised Mac OS X sleeping; optional atomic mode for FFI callbacks
...
svn: r13016
original commit: 61685c72f9f4dc9c759011c02c013ee92ea185be
2009-01-06 13:07:45 +00:00
Eli Barzilay
87927edac4
2008 -> 2009
...
svn: r13001
original commit: 8a2753efb8fb4df490feec8d52c570cba17d2bdd
2009-01-04 15:34:50 +00:00
Matthew Flatt
2e250514c6
scheme/foreign: allow #f as NULL function pointer, allow callback as cpointer
...
svn: r12992
original commit: d596401804242ca39007e56d798e12f3852810f0
2009-01-03 18:51:15 +00:00
