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

203 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
04f58cab86 Merge remote branch 'origin/master' into samth/new-logic2 
Conflicts:
	collects/drscheme/private/insert-large-letters.ss
	collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
 2010-04-30 09:34:31 -04:00
Sam Tobin-Hochstadt
b5acbe3168 move d/c/p 
fix tc-e/t
 2010-04-27 19:29:10 -04:00
Sam Tobin-Hochstadt
27b0c01cdd Split filter operations into their own file. 
Take into account the type of arguments in filter generation.
 2010-04-27 19:12:06 -04:00
Matthew Flatt
28b4043077 rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
Sam Tobin-Hochstadt
35f090cde8 substitute in the dtype 2010-04-27 11:39:31 -04:00
Sam Tobin-Hochstadt
53a4e4a2e4 remove debugging printfs, comment out fail test 2010-04-27 10:23:30 -04:00
Sam Tobin-Hochstadt
83c1671972 strnum? works 2010-04-27 10:16:21 -04:00
Sam Tobin-Hochstadt
d935b63290 so close 2010-04-27 09:50:39 -04:00
Sam Tobin-Hochstadt
884375ce96 fix contract error 2010-04-26 12:19:11 -04:00
Sam Tobin-Hochstadt
f7bf6d8a22 more progress towards let 2010-04-23 18:36:15 -04:00
Sam Tobin-Hochstadt
788630d26a progress towards let 2010-04-23 16:40:05 -04:00
Sam Tobin-Hochstadt
2d88d698c2 implication works 2010-04-23 12:31:22 -04:00
Sam Tobin-Hochstadt
3311b2bb3a fix asym pred not to use identifiers 2010-04-22 18:27:08 -04:00
Sam Tobin-Hochstadt
b0918cd8b9 add first steps in real solving 2010-04-22 16:46:06 -04:00
Sam Tobin-Hochstadt
277a453608 Merge remote branch 'origin/master' into samth/new-logic2 2010-04-21 19:04:59 -04:00
Sam Tobin-Hochstadt
9c59782a37 progress, fix some dumb bugs 2010-04-21 19:00:12 -04:00
Sam Tobin-Hochstadt
0804e64695 everything but or and implies works 2010-04-21 18:13:13 -04:00
Sam Tobin-Hochstadt
bff6400fb4 rename scheme to racket 2010-04-21 16:06:44 -04:00
Sam Tobin-Hochstadt
c50cb0ff18 Merge branch 'master' into samth/new-logic2 2010-04-21 15:19:36 -04:00
Sam Tobin-Hochstadt
5b5a6980d5 annotated eta works 2010-04-21 14:57:05 -04:00
Sam Tobin-Hochstadt
86c6f3e9c0 icfp-examples no longer errors 2010-04-21 11:41:26 -04:00
Sam Tobin-Hochstadt
462b7f1b92 eta abstraction seems to work 2010-04-21 11:34:04 -04:00
Matthew Flatt
c95a398754 move most of the 'scheme' collection to the 'racket' collection 2010-04-20 15:24:48 -06:00
Sam Tobin-Hochstadt
99cfb23f22 simple-occur now works 2010-04-20 13:07:38 -04:00
Sam Tobin-Hochstadt
7b875d58a9 relocate object subst code, work on fixing for indexes 2010-04-20 12:39:25 -04:00
Sam Tobin-Hochstadt
c3304b20f0 re-enable abstract-filter 2010-04-19 19:42:08 -04:00
Sam Tobin-Hochstadt
f57ef37a66 Everything now compiles without names 2010-04-19 18:42:25 -04:00
Sam Tobin-Hochstadt
fca1044972 Merge branch 'master' into samth/new-logic2 2010-04-19 16:14:11 -04:00
Sam Tobin-Hochstadt
41e469d7ae Update structure types to have constructor ids. 
Use constructor to generate better contracts for poly structs.
 2010-04-14 15:06:14 -04:00
Sam Tobin-Hochstadt
d4e0c16d55 a new branch of the whole tree 
svn: r18648
 2010-03-27 14:49:58 +00:00
Sam Tobin-Hochstadt
d58bf1521b added (disabled) optimization 
svn: r18567
 2010-03-17 19:25:21 +00:00
Sam Tobin-Hochstadt
b020c8dc21 fix some unfortunate bugs 
svn: r18433
 2010-03-02 20:37:36 +00:00
Sam Tobin-Hochstadt
12257912e3 Fix bug 10763. 
svn: r18418
 2010-03-01 22:48:11 +00:00
Sam Tobin-Hochstadt
013b12b19d fix obvious bug pointed out by noel 
svn: r18351
 2010-02-26 15:15:43 +00:00
Sam Tobin-Hochstadt
2e90dfc081 Re-enable typechecking of auto-language.ss 
Add `syntax-e' as a path.
Turn on contracts for objects.
Refactor Noel's additions.
Fix `require/typed' at the REPL.

svn: r18345
 2010-02-26 00:25:23 +00:00
Sam Tobin-Hochstadt
33c18b3985 providing static struct information to untyped code works 
svn: r18198
 2010-02-19 23:27:06 +00:00
Stevie Strickland
de859a8879 Fix up Sam's use of make-provide/contract-transformer after Robby's change 
to it for bug 10645.

svn: r18195
 2010-02-19 21:57:03 +00:00
Sam Tobin-Hochstadt
1039e68e03 New representation for free variables, now stored in struct. 
Interning now merely used to create key, eq? not = for types.

svn: r18107
 2010-02-17 00:09:38 +00:00
Sam Tobin-Hochstadt
90c8fcff11 Generate proper contracts for polymorphic struct types. 
Document `Nothing'.

svn: r18074
 2010-02-12 21:57:58 +00:00
Sam Tobin-Hochstadt
8bf908d106 More restrictive handling of contracts for the `Any' type. 
svn: r18043
 2010-02-10 20:45:50 +00:00
Carl Eastlund
2e3ea3d0de Merged latest changes from the trunk. 
svn: r17974
 2010-02-05 02:41:24 +00:00
Sam Tobin-Hochstadt
318833f422 Add supertypes for mutable types, so that predicates work correctly. 
svn: r17971
 2010-02-04 23:39:15 +00:00
Sam Tobin-Hochstadt
536b94c305 new branch 2010-02-02 20:42:22 -05:00
Carl Eastlund
2513e7d6e0 Merged changes from the trunk. 
svn: r17892
 2010-01-30 04:59:20 +00:00
Sam Tobin-Hochstadt
af2ef07d05 Fix the handling of with-handlers that returns multiple values 
svn: r17823
 2010-01-25 19:51:16 +00:00
Sam Tobin-Hochstadt
c9b246a8d2 use syntax-parse 
support #:predicate option to `define-typed-struct-internal'

svn: r17822
 2010-01-25 19:35:56 +00:00
Sam Tobin-Hochstadt
bb541fd03f Improve `internal-forms' 
First step to custom predicates in `define-typed-struct-internal'

svn: r17820
 2010-01-25 18:38:56 +00:00
Carl Eastlund
87645ebd11 Updated typed scheme to use a module path for blame. 
svn: r17754
 2010-01-19 10:44:27 +00:00
Sam Tobin-Hochstadt
3fc133a0b8 Correct typing for `or'. 
svn: r17665
 2010-01-15 19:39:46 +00:00
Sam Tobin-Hochstadt
33592b4f6c Typecheck `or' correctly. 
svn: r17653
 2010-01-14 19:53:28 +00:00