Sam Tobin-Hochstadt
|
e7c8ffb834
|
Fix contracts.
Handle improper formals lists.
|
2010-05-12 11:53:27 -04:00 |
|
Sam Tobin-Hochstadt
|
c031729e4b
|
use aux function to avoid generating useless filters
|
2010-05-10 17:03:21 -04:00 |
|
Sam Tobin-Hochstadt
|
6baef71d57
|
don't add to identifiers
|
2010-05-10 16:09:47 -04:00 |
|
Sam Tobin-Hochstadt
|
52c1f41a20
|
more contract fixes
|
2010-05-10 15:50:24 -04:00 |
|
Sam Tobin-Hochstadt
|
d75232baa0
|
fix contract error, use the same contract for drest everywhere
|
2010-05-10 15:42:45 -04:00 |
|
Sam Tobin-Hochstadt
|
8461045e8c
|
avoid trying to reconstruct bogus arrow type, use dummy instead
|
2010-05-10 15:42:23 -04:00 |
|
Sam Tobin-Hochstadt
|
b1a49470ee
|
fix `implied-atomic?'
|
2010-05-10 11:51:18 -04:00 |
|
Sam Tobin-Hochstadt
|
62af50867a
|
produce the correct type
|
2010-05-05 17:50:20 -04:00 |
|
Sam Tobin-Hochstadt
|
1146ffa76d
|
Merge branch 'master' into samth/new-logic2
Conflicts:
collects/typed-scheme/private/parse-type.rkt
collects/typed-scheme/typecheck/tc-app.rkt
|
2010-05-05 13:35:29 -04:00 |
|
Sam Tobin-Hochstadt
|
087c5129e3
|
Require '#%paramz at the correct phase (thanks ryan)
|
2010-05-04 19:47:37 -04:00 |
|
Sam Tobin-Hochstadt
|
4984345657
|
handle full generality of extend-parameterization
|
2010-05-04 19:47:37 -04:00 |
|
Sam Tobin-Hochstadt
|
996405af9c
|
fix problem reported by Sigrid on plt-scheme
|
2010-05-03 13:15:19 -04:00 |
|
Sam Tobin-Hochstadt
|
abc83496b3
|
fix literal hashtables and pairs
|
2010-05-03 11:31:27 -04:00 |
|
Sam Tobin-Hochstadt
|
96da427659
|
don't need d/c/p any more
|
2010-04-30 16:04:22 -04:00 |
|
Sam Tobin-Hochstadt
|
459a675b90
|
rename to rkt
|
2010-04-30 09:51:32 -04:00 |
|
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 |
|