suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
819 Commits 13 Branches 1 Tag 9.2 MiB
b0b01fa807
Commit Graph

219 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
b0b01fa807 flatten and filters before using them 
original commit: e0c82c8ac6d4400c723d2ebace2f8efadd3fd923
 2010-05-12 15:10:37 -04:00
Sam Tobin-Hochstadt
2f671bdbff Fix contracts. 
Handle improper formals lists.

original commit: e7c8ffb834f78bbe83033a8a1dbbfa27c829eddc
 2010-05-12 11:53:27 -04:00
Sam Tobin-Hochstadt
cd4744d11b use aux function to avoid generating useless filters 
original commit: c031729e4bcd46fab66ed1c3b0aa6578563126ec
 2010-05-10 17:03:21 -04:00
Sam Tobin-Hochstadt
fb755e912c don't add to identifiers 
original commit: 6baef71d57af67f230a0f8efb23fb2d7294f1e9c
 2010-05-10 16:09:47 -04:00
Sam Tobin-Hochstadt
5912a6243a more contract fixes 
original commit: 52c1f41a2036906ab6462abd5479053e2894b1ca
 2010-05-10 15:50:24 -04:00
Sam Tobin-Hochstadt
bd2e4e09ad fix contract error, use the same contract for drest everywhere 
original commit: d75232baa0a6076b2e16e73afcdc3fa79eb682a1
 2010-05-10 15:42:45 -04:00
Sam Tobin-Hochstadt
d483be21af avoid trying to reconstruct bogus arrow type, use dummy instead 
original commit: 8461045e8cfaf2dbd4fffb88eed046c44276796a
 2010-05-10 15:42:23 -04:00
Sam Tobin-Hochstadt
3dfdcf9722 fix `implied-atomic?' 
original commit: b1a49470eeaae287a8b2754308c476c3257434af
 2010-05-10 11:51:18 -04:00
Sam Tobin-Hochstadt
80e644c20d produce the correct type 
original commit: 62af50867a825aab3572a442276921b205180a3a
 2010-05-05 17:50:20 -04:00
Sam Tobin-Hochstadt
9781bbfbf4 Require '#%paramz at the correct phase (thanks ryan) 
original commit: 087c5129e33458acb20ee4fa9c7d07a4735c719d
 2010-05-04 19:47:37 -04:00
Sam Tobin-Hochstadt
b45d2f1a0c handle full generality of extend-parameterization 
original commit: 4984345657eda9736b458cf73f97996e3da1ce95
 2010-05-04 19:47:37 -04:00
Sam Tobin-Hochstadt
55fb37ff16 fix problem reported by Sigrid on plt-scheme 
original commit: 996405af9c5ba32c49d1051c85b573d1383e244a
 2010-05-03 13:15:19 -04:00
Sam Tobin-Hochstadt
bb79a8eb11 fix literal hashtables and pairs 
original commit: abc83496b358557a96af72dbd3d8ffecf5982c9a
 2010-05-03 11:31:27 -04:00
Sam Tobin-Hochstadt
11d39ed32c don't need d/c/p any more 
original commit: 96da4276591c93687885780e58a14d06bd21962a
 2010-04-30 16:04:22 -04:00
Sam Tobin-Hochstadt
2addf717a0 rename to rkt 
original commit: 459a675b90443b59e46bccae476a6f040fa8434d
 2010-04-30 09:51:32 -04:00
Sam Tobin-Hochstadt
b922e088d6 move d/c/p 
fix tc-e/t

original commit: b5acbe3168012661272f6ea3866efca693fa6c35
 2010-04-27 19:29:10 -04:00
Sam Tobin-Hochstadt
18e9d91e0a Split filter operations into their own file. 
Take into account the type of arguments in filter generation.

original commit: 27b0c01cdd4b07201ba95281dae4b24346e9dabd
 2010-04-27 19:12:06 -04:00
Matthew Flatt
94184a7671 rename all files .ss -> .rkt 
original commit: 28b404307793f041bb3363135a2968e283855318
 2010-04-27 16:50:15 -06:00
Sam Tobin-Hochstadt
da59949249 substitute in the dtype 
original commit: 35f090cde86420b1618ac4a127a30c380fb22699
 2010-04-27 11:39:31 -04:00
Sam Tobin-Hochstadt
a288c49d64 remove debugging printfs, comment out fail test 
original commit: 53a4e4a2e46b98f009487e3357b8eb6cc2a1b586
 2010-04-27 10:23:30 -04:00
Sam Tobin-Hochstadt
f792d08edb strnum? works 
original commit: 83c16719725e6aa423e9f2ef4adab8483def4436
 2010-04-27 10:16:21 -04:00
Sam Tobin-Hochstadt
1505c7c3de so close 
original commit: d935b63290b1aae41b61c772f9a3a728350a1b11
 2010-04-27 09:50:39 -04:00
Sam Tobin-Hochstadt
6ae59dc036 fix contract error 
original commit: 884375ce96155d795a927a6cec473b3078e185cf
 2010-04-26 12:19:11 -04:00
Sam Tobin-Hochstadt
47dce89a25 more progress towards let 
original commit: f7bf6d8a220e3d07eb27f6213273dcee5a585b46
 2010-04-23 18:36:15 -04:00
Sam Tobin-Hochstadt
f50ace2729 progress towards let 
original commit: 788630d26a479363f8abe244f70a9b36c107ebab
 2010-04-23 16:40:05 -04:00
Sam Tobin-Hochstadt
d5a9325d48 implication works 
original commit: 2d88d698c20722f59f82e0dd2352e1e1cd067234
 2010-04-23 12:31:22 -04:00
Sam Tobin-Hochstadt
8c25785856 fix asym pred not to use identifiers 
original commit: 3311b2bb3a888d0d7f30f64fdd53667f1d464be6
 2010-04-22 18:27:08 -04:00
Sam Tobin-Hochstadt
8ab2ccb53f add first steps in real solving 
original commit: b0918cd8b90972bd0b134e2e67f20020444be65e
 2010-04-22 16:46:06 -04:00
Sam Tobin-Hochstadt
07d4b90de3 progress, fix some dumb bugs 
original commit: 9c59782a37502e0cc45a0261df3930306201f930
 2010-04-21 19:00:12 -04:00
Sam Tobin-Hochstadt
88ae88c901 everything but or and implies works 
original commit: 0804e64695ab0d04a8db1d1f95e1fc8f14b32217
 2010-04-21 18:13:13 -04:00
Sam Tobin-Hochstadt
f71591ed45 rename scheme to racket 
original commit: bff6400fb4a6ba102f087b04ab38dfcaaf53b8a8
 2010-04-21 16:06:44 -04:00
Sam Tobin-Hochstadt
74aa20fcc0 annotated eta works 
original commit: 5b5a6980d5906b8af376d7dedcd5e010517031d3
 2010-04-21 14:57:05 -04:00
Sam Tobin-Hochstadt
4ee3734052 icfp-examples no longer errors 
original commit: 86c6f3e9c06de95e950cc3a55b3235f44be78a8e
 2010-04-21 11:41:26 -04:00
Sam Tobin-Hochstadt
f06b81ba16 eta abstraction seems to work 
original commit: 462b7f1b92300fae8d4a9632ba97432426982aef
 2010-04-21 11:34:04 -04:00
Matthew Flatt
7f3cf8a3ef move most of the 'scheme' collection to the 'racket' collection 
original commit: c95a39875453e7f057395a7bf626e5d2ed732e7e
 2010-04-20 15:24:48 -06:00
Sam Tobin-Hochstadt
e3733c768f simple-occur now works 
original commit: 99cfb23f22226a210192433db53351884df67b9f
 2010-04-20 13:07:38 -04:00
Sam Tobin-Hochstadt
686171190a relocate object subst code, work on fixing for indexes 
original commit: 7b875d58a974a959a38a84197b413f91de83b5d1
 2010-04-20 12:39:25 -04:00
Sam Tobin-Hochstadt
5184639b22 re-enable abstract-filter 
original commit: c3304b20f04bbe6732bac3ec52f0c6d7a76b47a3
 2010-04-19 19:42:08 -04:00
Sam Tobin-Hochstadt
017accf104 Everything now compiles without names 
original commit: f57ef37a6657ac43848ae09ac20fedbec438db93
 2010-04-19 18:42:25 -04:00
Sam Tobin-Hochstadt
b797c59d21 start removing names 
original commit: df1572231ea34907db23f7c930a19bea7e4e6249
 2010-04-19 17:52:10 -04:00
Sam Tobin-Hochstadt
6890aab175 Update structure types to have constructor ids. 
Use constructor to generate better contracts for poly structs.

original commit: 41e469d7aefd9aab480594caaba62dd7019ec0fd
 2010-04-14 15:06:14 -04:00
Sam Tobin-Hochstadt
af7254875a a new branch of the whole tree 
svn: r18648

original commit: d4e0c16d55c167dbef9eefac8b4820fbada0f6b1
 2010-03-27 14:49:58 +00:00
Noel Welsh
39e98488a7 Fix a problem generating contracts for FlVector exports. Add test for problem. 
svn: r18603

original commit: cf017110a982fb24451691200dc05830136e9833
 2010-03-23 10:30:24 +00:00
Sam Tobin-Hochstadt
04dbfaf38e fix some unfortunate bugs 
svn: r18433

original commit: b020c8dc216c48d52dab9a78134c34405210da81
 2010-03-02 20:37:36 +00:00
Sam Tobin-Hochstadt
ff6ad0c29d Fix bug 10763. 
svn: r18418

original commit: 12257912e3a39efcd20bcd0ec3e778c630879577
 2010-03-01 22:48:11 +00:00
Sam Tobin-Hochstadt
0ad41fd737 fix obvious bug pointed out by noel 
svn: r18351

original commit: 013b12b19d56e051fddd6bd09d6c07115088b14e
 2010-02-26 15:15:43 +00:00
Sam Tobin-Hochstadt
56732a6d6e 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

original commit: 2e90dfc081a3160abaa49aff9f535a901999c6a5
 2010-02-26 00:25:23 +00:00
Sam Tobin-Hochstadt
b0a08fe0b8 providing static struct information to untyped code works 
svn: r18198

original commit: 33c18b3985bce1bab5028c67e06eec5335722eb4
 2010-02-19 23:27:06 +00:00
Stevie Strickland
ae00f56a11 Fix up Sam's use of make-provide/contract-transformer after Robby's change 
to it for bug 10645.

svn: r18195

original commit: de859a88798b89c78da5386ab0a8bfdf76f118da
 2010-02-19 21:57:03 +00:00
Sam Tobin-Hochstadt
5a47ebf0c7 New representation for free variables, now stored in struct. 
Interning now merely used to create key, eq? not = for types.

svn: r18107

original commit: 1039e68e034196550e4def3e9f0233e6751201ab
 2010-02-17 00:09:38 +00:00