Eli Barzilay
6864cae36f
Welcome to a new PLT day.
...
svn: r10346
2008-06-18 17:13:24 +00:00
Matthew Flatt
f27a373b07
4.0.1
...
svn: r10345
2008-06-18 17:10:37 +00:00
Stevie Strickland
4b3508a890
Add * where appropriate.
2008-06-18 13:01:43 -04:00
Stevie Strickland
4010a39c2d
* Should have used star (bound in syntax-case), not just * in type-of-formals
...
* I'm pretty sure ann should never get a starred or dotted type, since those
can't appear outside of an arrow context.
2008-06-18 12:57:52 -04:00
Stevie Strickland
6a30c9dec9
No need for this, it's handled by a case lower down (and correctly, so why
...
force changes in two positions?)
2008-06-18 12:45:08 -04:00
Stevie Strickland
c2a53b316b
* Enforce the use of a '*' in list-like rest args.
...
* Abstract out annotation errors so that we can report it in the other case
where it's useful.
2008-06-18 12:31:08 -04:00
Kathy Gray
488f8c210e
Corrected bug introduced by the introduction of match-let
...
svn: r10339
2008-06-18 12:51:22 +00:00
Kathy Gray
1862bffc93
Testengine test file (in wrong directory, probably).
...
svn: r10338
2008-06-18 12:20:17 +00:00
Robby Findler
c1217de228
fixed problem with completions
...
svn: r10337
2008-06-18 05:48:16 +00:00
Eli Barzilay
b93d242aa5
restore unmodified version
...
svn: r10336
2008-06-18 04:53:31 +00:00
Eli Barzilay
f4926472b8
remove changed code
...
svn: r10335
2008-06-18 04:50:58 +00:00
Greg Cooper
88edb0e088
fix small doc bug
...
svn: r10332
2008-06-18 02:15:05 +00:00
Matthias Felleisen
55604117e4
world with lang scheme
...
svn: r10331
2008-06-18 02:13:42 +00:00
Stevie Strickland
2b4f1691fa
Add an informative comment here.
2008-06-17 22:09:04 -04:00
Matthias Felleisen
420263b569
svn: r10329
2008-06-18 02:05:59 +00:00
Stevie Strickland
bd43b23f74
Both of these have the same errors right now, so factor that out into a
...
function.
2008-06-17 22:01:57 -04:00
Stevie Strickland
f86702122d
Fix up error messages to take drests into account.
2008-06-17 21:47:10 -04:00
Stevie Strickland
8bb0890184
I dunno if I like this, but we really shouldn't delay this error, as
...
it should get caught when we attempt dotted vars for testing.
2008-06-17 21:38:05 -04:00
Sam Tobin-Hochstadt
8e498458aa
More tests. Not all of them pass yet, but we are hopeful.
2008-06-17 18:10:41 -04:00
Sam Tobin-Hochstadt
dfdfae95d7
Checkpoint.
2008-06-17 18:10:17 -04:00
Sam Tobin-Hochstadt
c8a2810742
Don't produce extra errors for top-level defines.
...
Lots more error message improvements for application.
Work on polydots apply.
Extend environment only in the proper place in plambda.
Don't let a variable unify with a dotted variable.
2008-06-17 16:28:34 -04:00
Sam Tobin-Hochstadt
3f180f88da
New tests
2008-06-17 16:24:30 -04:00
Sam Tobin-Hochstadt
ddbb045a3e
Handle polymorphic apply with more args than fixed formals.
2008-06-17 14:29:05 -04:00
Sam Tobin-Hochstadt
59e2dc4dea
New tests
2008-06-17 14:28:41 -04:00
Eli Barzilay
e3fa49cdff
keep the language repl if we get a syntax error
...
svn: r10319
2008-06-17 17:45:53 +00:00
Matthew Flatt
4868fa672d
EOPL quote and pair fixes
...
svn: r10318
2008-06-17 17:36:53 +00:00
Eli Barzilay
2c94de20aa
hack: use a special value with exit to avoid popup message (no need for it now)
...
svn: r10317
2008-06-17 17:25:30 +00:00
Sam Tobin-Hochstadt
93c937f909
Adding testcases for dotted function application to rest args via apply.
2008-06-17 12:58:15 -04:00
Sam Tobin-Hochstadt
1bef5f9d0b
Add handling of dotted functions when not wrapped with a big lambda.
2008-06-17 12:57:29 -04:00
Eli Barzilay
b6827d2d0b
Now all module syntax errors kill the repl
...
svn: r10314
2008-06-17 16:06:35 +00:00
Eli Barzilay
8e4e964a65
Announce no interactions, kill repl on malformed module expression too
...
svn: r10313
2008-06-17 15:53:09 +00:00
Eli Barzilay
45bdf4e76d
kill the running thread when there is no module (or bad module) so further interactions are disabled
...
svn: r10312
2008-06-17 15:38:13 +00:00
Eli Barzilay
819964baba
Use "Module Language" for all error messages
...
svn: r10311
2008-06-17 15:26:42 +00:00
Sam Tobin-Hochstadt
c7733e5e34
Use map instead of map*
2008-06-17 10:46:39 -04:00
Sam Tobin-Hochstadt
8bf60f9faf
Mask exn's where necessary.
2008-06-17 10:46:28 -04:00
Sam Tobin-Hochstadt
8d810160f2
Only use free-identifier=? when it's an identifier.
2008-06-17 10:43:37 -04:00
Stevie Strickland
bcb205a930
Add examples of each.
2008-06-16 19:02:45 -04:00
Sam Tobin-Hochstadt
cf33d49c26
add
2008-06-16 17:52:47 -04:00
Sam Tobin-Hochstadt
223c822154
It lives!
2008-06-16 17:46:13 -04:00
Sam Tobin-Hochstadt
1b998d7eb8
Definition (but not use) of ... vars
2008-06-16 16:47:08 -04:00
Sam Tobin-Hochstadt
055eb3cd0b
Source location in synthetic module begin.
2008-06-16 16:34:09 -04:00
Sam Tobin-Hochstadt
b952c54803
Fix code gen for PolyDots defs.
2008-06-16 16:32:34 -04:00
Matthias Felleisen
9276a46dc4
is-end-of-world added to world
...
svn: r10300
2008-06-16 19:52:40 +00:00
Matthias Felleisen
993d3f970c
docs for is-end-of-world
...
svn: r10299
2008-06-16 19:52:04 +00:00
Eli Barzilay
6b940c07de
simplified code by separating two steps instead of one
...
svn: r10298
2008-06-16 19:25:28 +00:00
Eli Barzilay
cb410d1f87
descriptive error message
...
svn: r10297
2008-06-16 19:16:19 +00:00
Eli Barzilay
e7b2ca7c60
Improved code that analyzes the module expression
...
svn: r10296
2008-06-16 18:56:23 +00:00
Eli Barzilay
559517497b
minor
...
svn: r10295
2008-06-16 17:59:55 +00:00
Eli Barzilay
fbb652713b
use a single printf
...
svn: r10294
2008-06-16 17:55:13 +00:00
Sam Tobin-Hochstadt
a43b2f5681
Change map* to map.
2008-06-16 13:28:27 -04:00
