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

220 Commits

Author SHA1 Message Date
Eli Barzilay
e114ca005e * Grouped the ass* functions 
* Made them all use -opt

svn: r12007
 2008-10-13 15:36:59 +00:00
Eli Barzilay
f4ae28d714 use all of scheme/list, so the types for first and friends actually works 
svn: r12006
 2008-10-13 15:33:06 +00:00
Eli Barzilay
fea96706f1 (random) returns a floating point number 
svn: r12005
 2008-10-13 15:32:17 +00:00
Eli Barzilay
0209663ec7 * Move write' next to display' 
* Make it have the same type (can write anything)
* Add `print' with the same type

svn: r12004
 2008-10-13 15:30:55 +00:00
Eli Barzilay
9ba08bc558 minor reformatting (brackets, spaces, indents) 
svn: r12003
 2008-10-13 15:29:13 +00:00
Eli Barzilay
8d06e0c707 rename holder -> keep 
svn: r11932
 2008-10-04 19:10:38 +00:00
Sam Tobin-Hochstadt
cd6a37ff4c Fix error in use of tc-error/delayed. 
Fix expansion of with-handlers:
add test

svn: r11875
 2008-09-25 19:35:00 +00:00
Sam Tobin-Hochstadt
77e9b026b3 fix type of assq 
svn: r11872
 2008-09-25 15:56:55 +00:00
Eli Barzilay
943b22ebeb set svn:eol-style 
svn: r11858
 2008-09-24 20:08:05 +00:00
Sam Tobin-Hochstadt
15e7be91f5 Reorg to separate out files. 
svn: r11857
 2008-09-24 19:56:48 +00:00
Sam Tobin-Hochstadt
917307bd2e Fix delay/force. 
svn: r11841
 2008-09-22 21:37:13 +00:00
Sam Tobin-Hochstadt
091089f27d add char? 
svn: r11838
 2008-09-22 18:37:48 +00:00
Sam Tobin-Hochstadt
88d44f9c5b Catch error before internal error, more informative internal error. 
svn: r11837
 2008-09-22 18:35:24 +00:00
Sam Tobin-Hochstadt
302e28da62 provide tc-result? for contracts 
svn: r11734
 2008-09-13 22:48:19 +00:00
Sam Tobin-Hochstadt
7cf9b36c15 Add eof and read-accept-reader. 
Fix find-mutated-vars
 2008-09-11 09:01:49 -04:00
Sam Tobin-Hochstadt
5ac64589ba reorg 2008-09-09 17:40:26 -04:00
Sam Tobin-Hochstadt
dfeef03875 new dirs 2008-09-09 15:34:28 -04:00
Sam Tobin-Hochstadt
8df7a46493 Improve errors. 2008-09-08 13:27:38 -04:00
Sam Tobin-Hochstadt
ff85152f59 fix error message 2008-09-08 13:03:56 -04:00
Sam Tobin-Hochstadt
a1825082df more stuff works 2008-09-05 16:52:00 -04:00
Sam Tobin-Hochstadt
801156229a Fixed printing for new rep. 
Handle mandatory and optional keyword args.
 2008-09-04 17:59:36 -04:00
Sam Tobin-Hochstadt
79e3a0c4c6 New representation that accomodates mandatory and optional keyword args. 2008-09-04 17:02:33 -04:00
Sam Tobin-Hochstadt
b27c3571d0 A keyword function typechecks! 2008-09-04 15:21:39 -04:00
Sam Tobin-Hochstadt
85a0fa22d1 progress 2008-09-02 20:25:23 -04:00
Sam Tobin-Hochstadt
3f5069a003 Fix construction of function types. 2008-09-01 15:04:18 -04:00
Sam Tobin-Hochstadt
b5a07f4646 compiles 2008-09-01 14:55:51 -04:00
Sam Tobin-Hochstadt
a8417c7c1c start on keywords 2008-08-29 18:23:59 -04:00
Sam Tobin-Hochstadt
fa8ffb417e Improve error message for summary. 
Fix returned error type for polymorphic apps.
Fix typo.

svn: r11487
 2008-08-29 20:14:22 +00:00
Sam Tobin-Hochstadt
3ac6b485a5 Improve error message for poly app when fcn is an identifier. 
svn: r11486
 2008-08-29 19:57:12 +00:00
Sam Tobin-Hochstadt
d546d6e045 Better error messages for require/opaque-type 
svn: r11341
 2008-08-19 19:48:24 +00:00
Sam Tobin-Hochstadt
79b4f2d078 Print struct names without []. 
svn: r11340
 2008-08-19 19:40:38 +00:00
Sam Tobin-Hochstadt
513174a2bd Fix handling of `, delay, and this-language using Matthew's advice 
svn: r11127
 2008-08-07 19:05:32 +00:00
Sam Tobin-Hochstadt
44e0c09d75 Fix typo 
svn: r11113
 2008-08-06 20:47:28 +00:00
Sam Tobin-Hochstadt
5f787a63d4 Add types for char comparison functions. 
svn: r11085
 2008-08-05 18:17:27 +00:00
Sam Tobin-Hochstadt
ad2b2b3199 fix some dumb bugs 
svn: r11082
 2008-08-05 15:05:25 +00:00
Sam Tobin-Hochstadt
28c5e71b01 Fix bug 9649. 
svn: r11029
 2008-08-01 20:57:48 +00:00
Sam Tobin-Hochstadt
fa857a40ac Allow ... rest variables to be used as lists. 
Bind Values as a type.

svn: r11010
 2008-07-31 19:26:46 +00:00
Stevie Strickland
be456fec94 Actually, revert that last change. What we'll do is: 
* Fix up things so that we actually use 'temp-dir via find-system-path
    instead of using /tmp always
  * Turn off logging via the logging? for-syntax definition.

svn: r10967
 2008-07-29 17:06:11 +00:00
Stevie Strickland
91291ba2bc Add the forall Unicode symbol as an acceptable replacement for the 
All type constructor.

svn: r10797
 2008-07-16 17:37:05 +00:00
Stevie Strickland
0cd54c9e33 Merging in the following code: 
svn merge -r10197:10773 http://svn.plt-scheme.org/plt/branches/samth/dots
svn merge -r10210:10737 http://svn.plt-scheme.org/plt/branches/samth/dots-tests

This adds non-uniform variable-arity polymorphism to Typed Scheme.

svn: r10778
 2008-07-15 19:03:59 +00:00
Stevie Strickland
39c343ec18 Add filter-map to base-env.ss 2008-07-15 00:33:14 -04:00
Stevie Strickland
8842fb9ea0 Add printing if a starred type was substituted in as well. 2008-07-14 09:42:45 -04:00
Sam Tobin-Hochstadt
2866efd348 logging 2008-07-14 08:48:14 -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
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
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
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
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