suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
9,807 Commits 17 Branches 54 Tags 278 MiB
f6aa15c531
Commit Graph

9807 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Stevie Strickland
9f6427ac34 This makes the change mentioned in the log message for r10735 (the previous 
revision). So what we'll get here is the following:

Dotted + Dotted = Dotted (from the first case)
Dotted + x      = x      (since x refers to a free use of the dotted var)
x      + Dotted = x      (same)

I think this is correct.
 2008-07-12 22:33:04 -04:00
Stevie Strickland
f3eb315425 I'm not sure if this is correct, but this handles the cases where we're 
instantiating dotted pre-types where the bound is _not_ free in the
pre-type base.  I checked in a test case for this, that's something like:

(inst (plambda: (a ...) [ys : (Number ... a -> Number)] (apply + ys))
      Integer Boolean String)
 =
(Number Number Number -> Number)

These changes introduce no extra test failures, and we really have to
account for the bound here, and really even if the variable _does_
appear free within the pre-type base, it shouldn't be counted as a
"regular" variable outside of that scope.

Actually, maybe Dotted should behave like Constant, where it just
propogates until there's a separate free use that we're merging with,
in which case we just treat it like the free use (which will
eventually get fix-bound applied to it anyway).  I think I'll make
that change next.
 2008-07-12 22:30:00 -04:00
Stevie Strickland
9b289bea27 Actually, I want to be careful with this. 
For example, we don't want the result type of the function to be free,
so it's more like:

G, D + {a}, S |- f : (t1 t2 -> t)
G, D, S |- t

(i.e. {a} not free in t)

Hmm.
 2008-07-12 22:20:10 -04:00
Stevie Strickland
274814e6aa There's no reason we can't allow foldl on a rest arg, as long as the types 
match up appropriately.  Let's do it!
 2008-07-12 22:13:44 -04:00
Stevie Strickland
ab2360384f We have to be careful here -- for example, one of the test cases was failing 
because the last thing in the instantiate was a function type, which is
a cons.  Look for a cons whose cdr is an identifier.
 2008-07-12 22:11:23 -04:00
Eli Barzilay
bdb4f18b21 Welcome to a new PLT day. 
svn: r10731
 2008-07-13 01:29:42 +00:00
John Clements
e34d52fbfe fixed consistency 
svn: r10730
 2008-07-12 23:02:21 +00:00
Danny Yoo
47bed6d1e7 Added port name source to the input port returned by framework text's get-in-port; this addresses the bug of the source highlighting not showing when the source stx comes from interaction window. 
svn: r10729
 2008-07-12 22:46:47 +00:00
Mike Sperber
af71ab0e4f Synch with latest. 
svn: r10728
 2008-07-12 16:00:29 +00:00
Matthew Flatt
01691d9240 adjust the way framework and tools docs extract documentation 
svn: r10727
 2008-07-12 15:37:31 +00:00
Kathy Gray
c459978d86 Parser bug fix. 
++ on fields and arrays bug fix.

svn: r10726
 2008-07-12 14:29:23 +00:00
Matthew Flatt
eff5666a39 fix HTML rendering of a table at start of itemization 
svn: r10725
 2008-07-12 12:28:05 +00:00
Eli Barzilay
1a64ab3af4 Better layout for the capabilities doc 
svn: r10724
 2008-07-12 08:20:19 +00:00
Eli Barzilay
bf86c29bb7 fixed some latex leftovers, and convenient way to make headers and include-extracted 
svn: r10723
 2008-07-12 07:07:19 +00:00
Eli Barzilay
7c7bc0fd06 added a space after mathimpl/mathspec header, so it can be used independent of an empty line at the beginning 
svn: r10722
 2008-07-12 07:02:50 +00:00
Eli Barzilay
92440b68eb this file was not used, and was bogus (referred to the "big" collection) 
svn: r10721
 2008-07-12 02:06:53 +00:00
Eli Barzilay
5726d77d87 fix search box path when there is no PLT_Root cookie 
svn: r10720
 2008-07-11 20:39:18 +00:00
Matthew Flatt
09244304d3 fix typo, use a new-style module path 
svn: r10719
 2008-07-11 14:03:33 +00:00
Eli Barzilay
fbb80f7389 Welcome to a new PLT day. 
svn: r10718
 2008-07-11 10:02:50 +00:00
Eli Barzilay
bb562f9ee4 * some fixes to make-search.ss 
* rename search-context.html to .htm to avoid being deleted by
  setup/scribble
* added context to help/search interface

svn: r10717
 2008-07-11 09:50:29 +00:00
Eli Barzilay
dc5211f363 improve status message clearing for input fields ("" is false in javascript) 
svn: r10716
 2008-07-11 08:48:53 +00:00
Eli Barzilay
f44a06a4da Added an `hq' argument for a pre-filter argument, parsed on a separate 
page instead of in index.html, so that it can be removed from the url
to avoid resetting the cookie on every refresh.

svn: r10715
 2008-07-11 08:40:11 +00:00
Eli Barzilay
d58b1ffdac Use a different strategy to decide when to insert/delete auto-text, 
one that should play nicer with the metadata thing for the teaching
languages.

svn: r10714
 2008-07-11 05:03:18 +00:00
Eli Barzilay
9ccd48dff2 catch up with some v4-isms 
svn: r10713
 2008-07-10 21:06:19 +00:00
Eli Barzilay
b19301e100 warning when collection paths are empty 
svn: r10712
 2008-07-10 20:28:18 +00:00
Eli Barzilay
23cf600c47 Welcome to a new PLT day. 
svn: r10711
 2008-07-10 18:59:13 +00:00
Robby Findler
6b9690da71 forgot to add this in the last commit 
svn: r10709
 2008-07-10 18:03:39 +00:00
Robby Findler
1858924c50 moved the tex-table.ss file somewhere accessible and documented it 
svn: r10708
 2008-07-10 17:21:00 +00:00
Matthew Flatt
de3b46aa5b refine fix of equal? on immutable hash tables and add a test 
svn: r10707
 2008-07-10 13:50:56 +00:00
Matthew Flatt
5c183baf6e fix bugs in interrupt handling of TCP system calls 
svn: r10706
 2008-07-10 13:50:24 +00:00
Eli Barzilay
14cd61f353 fix prefiltering 
svn: r10705
 2008-07-10 07:12:40 +00:00
Eli Barzilay
eab91baa97 fix remv* and remq* types (PR9599) 
svn: r10704
 2008-07-10 07:02:25 +00:00
Eli Barzilay
f0276ab329 #f when comparing functional hash tables when a key is not found in the other table 
svn: r10703
 2008-07-10 06:41:26 +00:00
Matthias Felleisen
7d2dac6fd3 world comments 
svn: r10702
 2008-07-09 19:41:31 +00:00
Matthias Felleisen
e5a28ba411 svn: r10701 2008-07-09 17:51:05 +00:00
Stevie Strickland
63a4e5af2e This was incorrectly syntaxed. 
svn: r10700
 2008-07-09 17:39:31 +00:00
John Clements
63f0e97490 doc fix on equal? for hashes 
svn: r10699
 2008-07-09 17:02:14 +00:00
John Clements
78075fcd25 doc fix on equal? for hashes 
svn: r10698
 2008-07-09 16:59:12 +00:00
Matthew Flatt
a4cc0f7890 %-encoding extension in module paths; new r6rs library name encoding 
svn: r10697
 2008-07-09 15:41:38 +00:00
Robby Findler
2f22ed7c41 renamed the variable bound to the collection-paths list-box object 
svn: r10696
 2008-07-09 11:33:38 +00:00
Robby Findler
f65e0ffeb1 added a separate debugger callback, instead of overriding execute-callback 
svn: r10695
 2008-07-09 11:30:26 +00:00
Eli Barzilay
e957b25ff1 Welcome to a new PLT day. 
svn: r10694
 2008-07-09 11:17:59 +00:00
Robby Findler
21b29aca17 use a preference to remember the sorting order for the define popup 
svn: r10693
 2008-07-09 11:14:52 +00:00
Eli Barzilay
d443abe50d documented on-click-always 
svn: r10692
 2008-07-09 09:52:20 +00:00
Eli Barzilay
a71a5bcf45 Make categories in the language dialog expand/collapse on a single 
click, requires extending hierlists with `on-click-always'

svn: r10691
 2008-07-09 09:47:24 +00:00
Eli Barzilay
91fb6ffce0 move sandbox-coverage to scheme/private 
svn: r10690
 2008-07-09 07:20:51 +00:00
Eli Barzilay
7d50e61c7f * Newlines at EOFs 
* Another big chunk of v4-require-isms
* Allow `#lang framework/keybinding-lang' for keybinding files
* Move hierlist sources into "mrlib/hierlist", leave stub behind

svn: r10689
 2008-07-09 07:18:06 +00:00
Eli Barzilay
1b525f60cc Welcome to a new PLT day. 
svn: r10688
 2008-07-09 02:30:05 +00:00
Eli Barzilay
afad5af486 * Added a `teachpack' function to do teachpack titles 
* Made it add "foo teachpack" as an index entry

svn: r10687
 2008-07-09 02:28:20 +00:00
Matthew Flatt
4df95e9da7 fix unwrap for an uncaught non-&serious condition 
svn: r10686
 2008-07-09 01:24:32 +00:00