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

8896 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Matthew Flatt
e3f3595625 fix version sanity check 
svn: r10777
 2008-07-15 18:50:48 +00:00
Eli Barzilay
7d1d8bf7fe some additional sanity checking 
svn: r10776
 2008-07-15 18:26:12 +00:00
Eli Barzilay
22ac059a81 W should also not go above 999 
svn: r10775
 2008-07-15 18:15:37 +00:00
Eli Barzilay
91fdcce770 Welcome to a new PLT day. 
svn: r10774
 2008-07-15 16:42:25 +00:00
Stevie Strickland
39c343ec18 Add filter-map to base-env.ss 2008-07-15 00:33:14 -04:00
Stevie Strickland
1fd8f6c2c3 This is too long for the paragraph, just separate it. 2008-07-15 00:10:04 -04:00
Eli Barzilay
3c38176bea typos 
svn: r10771
 2008-07-14 16:10:34 +00:00
Eli Barzilay
a0d4bc8393 removed leftovers 
svn: r10770
 2008-07-14 15:37:56 +00:00
Eli Barzilay
824fba5b26 restore unmodified version 
svn: r10769
 2008-07-14 15:36:51 +00:00
Eli Barzilay
e78acf374f remove changed code 
svn: r10768
 2008-07-14 15:33:32 +00:00
John Clements
d095fefb10 not-so-strongly-deprecated 
svn: r10765
 2008-07-14 15:13:12 +00:00
Stevie Strickland
8842fb9ea0 Add printing if a starred type was substituted in as well. 2008-07-14 09:42:45 -04:00
Carl Eastlund
8777a9211a Restored this-expression-source-directory dependency of planet this-package-... macros. 
svn: r10763
 2008-07-14 13:13:18 +00:00
Sam Tobin-Hochstadt
2866efd348 logging 2008-07-14 08:48:14 -04:00
Eli Barzilay
ebe6ba9792 Welcome to a new PLT day. 
svn: r10761
 2008-07-14 09:39:08 +00:00
Eli Barzilay
10e444a38a complete the switch to version/utils -- no need for any of this code 
svn: r10760
 2008-07-14 09:26:17 +00:00
Eli Barzilay
91eb4687da * use version/utils instead of a private copy of the same code 
* removed planet/private/test.ss which was testing that code
* changed angle brackets used in syntax renderings (got lumped in this
  commit by mistake)

svn: r10759
 2008-07-14 09:19:29 +00:00
Eli Barzilay
e4d9cfb557 Finish move to v4 
svn: r10758
 2008-07-14 09:01:44 +00:00
Eli Barzilay
fd569e49c4 Improved requires and a bit more. 
svn: r10757
 2008-07-14 08:15:55 +00:00
Eli Barzilay
19095ff14b * Added `version->integer' 
* Added tests (mostly just that for now)
* Documented `version/utils'

svn: r10756
 2008-07-14 07:56:18 +00:00
Stevie Strickland
e92c35d90c I'm not sure how best to add this as a hit for "rest argument(s)" without 
actually putting that in the section title -- and truthfully, maybe it
should be, for those who aren't deeply versed in PL but know enough
Lisp/Scheme to ask for this.
 2008-07-13 22:33:37 -04:00
Stevie Strickland
b991505297 Just tried the following program: 
#lang typed-scheme

(require/typed
  srfi/1
  (fold (All (a b) ((a b -> b) b (Listof a) -> b))))

And got an error because (orig-module-stx) was #f.  I'm not sure whether
it should have been or not, but I've fixed up this to handle that case
(having it just use the normal error message when that's #f, as I'm not
sure whether the error message would be correct otherwise).

However, it might just be that (orig-module-stx) should have not been
#f, in which case this should be checked out.
 2008-07-13 21:47:36 -04:00
Matthew Flatt
71a2648851 explain what a box is in the reference, and add cross references to the guide 
svn: r10753
 2008-07-14 00:05:37 +00:00
Matthew Flatt
7af044e2ce allow multiple uses of an .icns filein .filetypes 
svn: r10752
 2008-07-13 23:06:24 +00:00
Matthew Flatt
f83f19ea55 more improvements to find a 'regmust' string (PR 9602) 
svn: r10751
 2008-07-13 22:14:25 +00:00
Matthew Flatt
0f97bbcd9e improve regexp to see through certain groupings to pick a 'regmust' string to speed up match failures (PR 9602) 
svn: r10750
 2008-07-13 21:36:58 +00:00
Sam Tobin-Hochstadt
2456dcc18b Fix handling of mutable structs (setters != getters) 
Allow use of #:mutable as define-typed-struct arg
Fix types of random andmap ormap
 2008-07-13 17:31:58 -04:00
Stevie Strickland
4e7f527cb8 Put the beginnings of documentation here. 2008-07-13 16:50:05 -04:00
Stevie Strickland
d6f527a96f Starting to expand out the documentation in preparation of merging this 
branch back to trunk.
 2008-07-13 16:07:29 -04:00
Stevie Strickland
28bf6141b5 Add .scrbl files as DrScheme-handled files in OS X. 
svn: r10746
 2008-07-13 19:26:36 +00:00
Eli Barzilay
914a2b05f9 Welcome to a new PLT day. 
svn: r10745
 2008-07-13 17:13:55 +00:00
Eli Barzilay
4cd2614c21 scribble fixes -- nested @scheme and a few other similar problems 
svn: r10744
 2008-07-13 17:13:20 +00:00
Stevie Strickland
421df42d00 Switch these over to for/for*. Avoid the hash-copy calls as well, since 
we either end up doing the traversal wholesale or throwing some of that
work away by removing items.
 2008-07-13 12:14:15 -04:00
Matthew Flatt
e180452d8f adjust the way out.sxref is saved/loaded so that less is kept in memory across doc builds 
svn: r10742
 2008-07-13 15:51:31 +00:00
Matthew Flatt
269423bf0d use reverse table to fix O(n^2) expansion of macro-introduced requires 
svn: r10741
 2008-07-13 13:50:22 +00:00
Eli Barzilay
5860cb892a fix problems in unbox doc (nested @scheme and shadowed box) 
svn: r10740
 2008-07-13 13:50:14 +00:00
Stevie Strickland
fdfc8d7b78 Add comment explaining what's going on here. 2008-07-13 06:14:23 -04:00
Stevie Strickland
e0bad1987d Was thinking of doing some cleanups here, but at the very least I can 
get rid of this useless remove, since it's just going to overwrite it
anyway if we don't remove it first.
 2008-07-13 06:12:06 -04:00
Stevie Strickland
05e54f0dfe I thought I checked this in, but apparently not! Oops. 2008-07-13 04:35:54 -04:00
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