Commit Graph

1863 Commits

Author SHA1 Message Date
Stevie Strickland
bce18957eb Now that we have a way of marking procedures as methods at runtime,
fix up all projection applications and uncomment out the tests for
appropriate method arity errors.

svn: r18504

original commit: 40b35a2b7381e40a80c121f8154c4eba087b7d1b
2010-03-10 04:07:00 +00:00
Stevie Strickland
d889d9de71 Refactor out new has-contract?/value-contract functionality so that it's
the responsibility of the (higher-order) contract to add the contract
(plus possibly more in the future) to the wrapped value.

svn: r18469

original commit: bf60da75e179c2b2ecd9c09f0f7aadda629d95b5
2010-03-04 21:10:44 +00:00
Stevie Strickland
2b7121ca81 Maintain source locations appropriately.
svn: r18422

original commit: f37f81cdb29924555c894164ff482b3619a90af8
2010-03-01 23:47:31 +00:00
Sam Tobin-Hochstadt
28d012d43b Fix pconvert of hashtables.
svn: r18414

original commit: 1c1a2dde383ead9988340c00bdf65e3e9bf00906
2010-03-01 20:27:55 +00:00
Robby Findler
4bdaa3c7c5 fixed immutable boxes and vectors
svn: r18407

original commit: d7f8c62371931195b186baeca276343688dfd467
2010-03-01 14:47:38 +00:00
Stevie Strickland
e71ae6b7b9 scheme/contract => scheme/contract/base
svn: r18371

original commit: e54f1c3a5e651dda265cf82268ea7aec8a8c0cbe
2010-02-27 01:03:55 +00:00
Stevie Strickland
290e579a2c Yes, I know that we get different results for how it prints out. This needs
to be fixed.  But for now, I'm commenting this out with a note to myself to
get this fixed.

svn: r18322

original commit: 9f9e83b671d7c3916a5f8fcaaec0717b726fba4f
2010-02-24 17:46:51 +00:00
Stevie Strickland
84b34f6318 Fix the tests that break due to semantic changes in object-contract.
svn: r18290

original commit: 6326731a15805a27e8f14170b9af8f7b50668e54
2010-02-23 04:34:05 +00:00
Stevie Strickland
28bbf99b88 Of course, it would help if this was correct.
svn: r18289

original commit: 70b5fe6294cef704e00d642f8087d4249499155d
2010-02-23 04:18:29 +00:00
Stevie Strickland
a862db4fc1 Remove a load of crap from mzlib's object-contract that's no longer needed.
svn: r18287

original commit: e9a6aa31ca10b81701893fb69f45657765310b59
2010-02-23 04:03:39 +00:00
Carl Eastlund
4941995808 Renamed simple-contract and simple-flat-contract to make-contract and make-flat-contract.
svn: r18259

original commit: 1d6111c5328dc9b9ecfc14832879a7c47717d7a3
2010-02-22 02:51:16 +00:00
Robby Findler
7959381ae0 updated pconvert to use the new arguments to make-hash and friends
svn: r18128

original commit: 66e329c21b8e817959f2704668ed77dcbca47dfb
2010-02-17 21:20:39 +00:00
Eli Barzilay
5e4a8a814b A bunch of additional typos
svn: r17976

original commit: c88a5a685674ea70991a97f35972bd5144483e7a
2010-02-05 03:21:52 +00:00
Carl Eastlund
2b0e292e32 Exports from scheme/contract/private/blame: removed constructor; fixed confusing selector names.
svn: r17909

original commit: 1d4cdbeb4594639af9834577ec48a1fbd88aadf4
2010-01-31 03:03:30 +00:00
Carl Eastlund
ae2dbe30b1 Replaced #%variable-reference with quote-module-path for unit contract blame.
svn: r17781

original commit: d00e3432d960ea24ea6b25f34bbedd2002ba4041
2010-01-23 18:31:10 +00:00
Carl Eastlund
02ce7aabdb Replaced uses of quote-srcloc with quote-syntax.
svn: r17757

original commit: 7f58c26709c9a97623f50ec812727daa080b155b
2010-01-19 23:25:07 +00:00
Carl Eastlund
e600445407 Fixed an expected contract message.
svn: r17749

original commit: 934c775c2546157a2eae5e50d89466344fd7e19e
2010-01-19 09:25:02 +00:00
Carl Eastlund
6e6139e8ae Fixed a missing blame swap.
svn: r17748

original commit: ad9968493ec76a2b3fc803f58b43f519c47d5c6f
2010-01-19 09:24:48 +00:00
Carl Eastlund
d9e5df35ed Fixed blame detection regexp.
svn: r17742

original commit: 35a716d5d36b4995c025d3e46089e3dea7a09dc8
2010-01-19 07:14:17 +00:00
Carl Eastlund
ff9748dd99 Fixed missing keyword to simple-contract.
svn: r17740

original commit: 2633965c91cf9e94c11b2343d66a633bb2d5270f
2010-01-19 06:29:43 +00:00
Carl Eastlund
76fba4d47e Updated quote-syntax to quote-srcloc in mzlib unit contracts.
svn: r17735

original commit: 5606c590bd78a12c057b62ef43e496a76b0581c5
2010-01-19 04:57:33 +00:00
Carl Eastlund
9747444199 Ported more code to new contract tools.
svn: r17733

original commit: 722fae41a8e5e74a053336ab6e5bc32f3487870d
2010-01-19 03:42:45 +00:00
Carl Eastlund
6e0495d778 Ported more code to use new contract bindings.
svn: r17727

original commit: 2bad47fd0fff59cde30406af4db42e6e65ffa899
2010-01-19 01:01:28 +00:00
Carl Eastlund
62f745be71 Ported mzlib units to new contract system.
svn: r17718

original commit: 7763a4079ad4db29c3c42d7278e779e6ff604f90
2010-01-18 18:26:02 +00:00
Carl Eastlund
f56868d873 Typos and type errors in new property stuff.
svn: r17700

original commit: bb7bd9de51f01b2620a8162da5de0bfffd645247
2010-01-17 07:23:47 +00:00
Carl Eastlund
7a79b808a8 Ported a lot of mzlib contracts to new properties.
svn: r17699

original commit: 1f969b883113a646d9bbf3470df1755dfc3a708e
2010-01-17 07:07:06 +00:00
Stevie Strickland
e19d7a7128 Moving unit system from mzscheme->scheme/base, reformatting and small changes
as necessary.  Ran the quiet testsuite, unit tests, and setup-plt, all good.

svn: r17582

original commit: 73d68593af6b7c3a389013527f9b2a46618d1642
2010-01-08 21:44:42 +00:00
Stevie Strickland
bb3d45340d Need to handle what happens when there's no contracts to speak of.
svn: r17574

original commit: c8c66bfe7fd65f68aff28634694f675d2633f5c1
2010-01-08 18:52:57 +00:00
Stevie Strickland
79eec9556f Add a dummy lambda expansion to signature compilation to ensure that the
expressions only refer to locally-bound names or names that are part of the
signature itself.

svn: r17573

original commit: ea20ee160f1769e518208aec8b49aef0d1076cee
2010-01-08 18:47:51 +00:00
Stevie Strickland
623bfd4e9b Identifiers in signature contracts don't use whatever prefixing or such may be
in play in the body of a unit, so we need to rename the "external" version to
the "internal" version.  This fixes PR 10246.

svn: r17571

original commit: 9e0f2a3c5f6626843e6353c5ec83a546c483ebfc
2010-01-08 17:20:19 +00:00
Stevie Strickland
966b57ac62 If a contracted import doesn't have a pair value (because we haven't run
the corresponding unit body yet), then result in a useful error instead of
leaking internal implementation details.

svn: r17541

original commit: e2f50af66c56b3cae1faed41d4f91f601dec84eb
2010-01-07 19:36:08 +00:00
Robby Findler
1aeb722e27 normalized the results of procedure-arity
svn: r17504

original commit: 68efb4008a10f48f758289eca2e38a9eb47f5cf0
2010-01-06 19:34:29 +00:00
Eli Barzilay
40cf224166 use tail recursion, not because of speed, but because breaking code would always have bad context dumps
svn: r17427

original commit: 9660490922a31892ae0ff132ae1c6d172154768d
2009-12-29 15:56:05 +00:00
Eli Barzilay
6e02663d2d use scheme/base, move from mzlib/md5 to file/md5
svn: r17365

original commit: bbb4228d44ef44376734192d62be0888182470cf
2009-12-20 09:49:31 +00:00
Matthew Flatt
2ecaa89a71 add #:save-errno option for foreign-function types
svn: r17299

original commit: 87f05fed9597a6355b33bcaeeb1ace67987cdb1a
2009-12-14 23:52:23 +00:00
Matthew Flatt
0662da7a3b another syntax hack to fix 'scheme/package'; other test corrections
svn: r17075

original commit: f03ab78c401e603bc5e950a29fec3431f9745ef1
2009-11-27 02:12:27 +00:00
Eli Barzilay
d9ebe60c72 use string-join
svn: r16700

original commit: e65ab46bfdb30cdd93b4fad32682e5f83c3151e1
2009-11-11 23:10:28 +00:00
Matthew Flatt
1430191e51 fix mzlib/string exports
svn: r16405

original commit: 1a8539f647a35c8f1763d78691850d1c41bac1ae
2009-10-22 01:09:48 +00:00
Eli Barzilay
dfab129cf3 move to scheme/base
svn: r16404

original commit: 6c33216f0ad212815adbf8504f2e29c122d3e978
2009-10-21 21:08:57 +00:00
Matthew Flatt
b04eb5c240 fix file modes for scheme/base
svn: r16323

original commit: 9e4657b7da7fe069609c62b8669d9f005478d322
2009-10-15 02:57:01 +00:00
Eli Barzilay
27b02aa263 undo revision 16179, which had some junk included by mistake
svn: r16180

original commit: ac39ffe73952e41758ef2454024e4d8a337a94af
2009-09-30 03:57:08 +00:00
Eli Barzilay
dae17a2c21 typo in DFlag
svn: r16179

original commit: 38388b1d346ce16c33afe65e44ee7bbb3315b67a
2009-09-30 03:55:22 +00:00
Robby Findler
8e8e3aa99f removed extraneous export
svn: r16165

original commit: 75a5e0c23a354b564d971b59319f04a6e24e4f6d
2009-09-29 14:34:57 +00:00
Eli Barzilay
30648c15d5 forgot this rename in last commit
svn: r16164

original commit: 6d2bdb9e1c82c9f10c4aba25b04d42a28a4a8d46
2009-09-29 13:40:17 +00:00
Eli Barzilay
dedd29a452 * Reorganize macro code.
* Change `trace-apply' to accept keyword arguments by being a keyworded
  function itself
* Renamed `trace-apply' to `trace-call' -- since it's not following the
  calling convention of `apply'.

svn: r16161

original commit: 6cea680b629e66cf7ef796b251e386258bb8f08f
2009-09-29 07:33:07 +00:00
Jon Rafkind
572f69c778 update trace. use > for new stack frames and < for return values. prefixes are parameterized
svn: r16055

original commit: 1c129b829b2ceb8419c6e96f3aa1fd884c8cb362
2009-09-17 21:52:07 +00:00
Stevie Strickland
de06e87271 Refactoring all the private contract stuff into its own playpen.
svn: r16052

original commit: 636adcc142d20e62a9d18ec1c971894cd6956bd7
2009-09-17 20:55:37 +00:00
Stevie Strickland
afaa2a2069 Refactoring scheme/private/contract into reasonably sized pieces.
svn: r16049

original commit: 70e8f21ba2949a2e0762fe7094b115ac6826045f
2009-09-17 19:45:56 +00:00
Stevie Strickland
9ffe007e2e First moving private/contract.ss to a different name. The diaspora from
that file into others will happen next.

svn: r16048

original commit: aca0bcf82e074b7d5477091b7d62d59f5d799283
2009-09-17 17:42:45 +00:00
Matthew Flatt
43eb4df4c7 move pretty-print implementation from mzlib to scheme
svn: r15990

original commit: 374a70d9f1c3aa14d78836c75fe64e3bc0c2365f
2009-09-13 13:56:22 +00:00