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
|
ad537cce84
|
Remove unnecessary requires which caused bizarre errors
|
2010-05-04 19:47:38 -04:00 |
|
Sam Tobin-Hochstadt
|
646bc0ecab
|
avoid error when not transforming
|
2010-05-04 19:47:38 -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
|
08ca97bf9e
|
Don't wrap booleans, print typed values
|
2010-05-04 19:47:37 -04:00 |
|
Sam Tobin-Hochstadt
|
9ab4887e58
|
add type for 2-arg `atan'
|
2010-05-04 19:47:37 -04:00 |
|
Sam Tobin-Hochstadt
|
4183a3f32a
|
doc fix
|
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 |
|
Ryan Culpepper
|
eff9147ddc
|
syntax/parse: literals, literal-sets, and phases (todo: docs)
typed-scheme: added missing import for literal
|
2010-05-04 14:12:49 -06:00 |
|
Sam Tobin-Hochstadt
|
105a560698
|
add some vector functions
|
2010-05-03 18:13:12 -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
|
8c22099aec
|
fix PR 10868
|
2010-05-03 13:07:30 -04:00 |
|
Sam Tobin-Hochstadt
|
55929072bb
|
change error message for `define:' (fixes PR 10883)
|
2010-05-03 11:35:30 -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
|
826eeab7cb
|
fix the fold for Class types
|
2010-04-27 11:39:15 -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
|
64a6f7c3d5
|
better filter printing
|
2010-04-23 09:59:00 -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
|
48fb828c58
|
Merge remote branch 'origin/master' into samth/new-logic2
|
2010-04-22 10:16:40 -04:00 |
|
Matthew Flatt
|
7503f8c6e9
|
change #:module-info to #:language-info for consistency with module->language-info
|
2010-04-21 18:50:16 -06: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
|
613f02a266
|
use the provide infrastructure for arr
|
2010-04-20 12:38:00 -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
|
df1572231e
|
start removing names
|
2010-04-19 17:52:10 -04:00 |
|
Sam Tobin-Hochstadt
|
fca1044972
|
Merge branch 'master' into samth/new-logic2
|
2010-04-19 16:14:11 -04:00 |
|