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

30 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
af10c650fa fix typo 
svn: r13989

original commit: e2a017f331b09745540bf47873cd9f1539f878ca
 2009-03-06 19:51:33 +00:00
Sam Tobin-Hochstadt
c6ccbfc76d Remove some old debugging printfs in soon-to-be-dead code. 
Fix some requires.
Start implementing metafunctions.
Strengthen contracts on filter-sets.
Rename N B Sym.

svn: r13988

original commit: 6c30e2d9e7c9d983f97092ad3aad8268e0560cb5
 2009-03-06 19:50:42 +00:00
Sam Tobin-Hochstadt
6cafdd4a5d all of private, and tc-structs, now compiles 
svn: r13956

original commit: 00721c10c80eae7fe51bea7593c1cab181820716
 2009-03-04 19:49:20 +00:00
Sam Tobin-Hochstadt
801180afdc Fix contract on App. 
Fix function construction for rec-lambda/check
Re-enable printing.

svn: r13687

original commit: cc1265fc614c972006eea18ba56e579c03e4abd2
 2009-02-17 01:09:23 +00:00
Sam Tobin-Hochstadt
d6efd0acc3 Fix error message when polymorphic inference fails because of expected type. 
Add test case.

svn: r13639

original commit: 02efc28dff062b60e0ee5e1c425b438d44ce9c28
 2009-02-16 02:12:13 +00:00
Sam Tobin-Hochstadt
7bd2447d44 new branch initial commit 
svn: r13578

original commit: e13c4b690d8c257de1e08252b1bb0199cb6a1f63
 2009-02-14 16:03:25 +00:00
Sam Tobin-Hochstadt
2076decb19 Default types for lambda formals. 
svn: r13539

original commit: e61075a4fd7a40c2641f06553aecdfedff48ed23
 2009-02-12 23:55:53 +00:00
Sam Tobin-Hochstadt
c1a6ffd46e fix expr attribute 
svn: r13438

original commit: 9f77daab416df94eab23067bf333d0ee17eaef69
 2009-02-04 23:07:09 +00:00
Sam Tobin-Hochstadt
cfab8a698f commit work to new branch, doesn't work yet 
svn: r13427

original commit: 3ab3c8d3685d30c827c600d93a0930eff7e1902d
 2009-02-04 20:19:41 +00:00
Sam Tobin-Hochstadt
5570ebc151 Fix handling of inexact integer literals. 
svn: r13294

original commit: 2962c0bfa7f13a16406248abf891c574fe08b006
 2009-01-27 17:55:10 +00:00
Sam Tobin-Hochstadt
d0a893f9a1 Don't fail early here. 
svn: r12729

original commit: 587ca084669594f2d58b8a9152127e78ec364acb
 2008-12-08 03:37:24 +00:00
Sam Tobin-Hochstadt
fe7eb33c59 Fix time-apply, add test 
svn: r12727

original commit: dd8e878cb442a7b9e6b7204552a3856073b6131d
 2008-12-08 03:12:38 +00:00
Sam Tobin-Hochstadt
df8d714918 Enable require-typed-struct with substructures. 
Fixes PR 9053.
Move test to succeed.
Add some new bindings.

svn: r12709

original commit: e6eb482de48b8d82a09a9a18db71a2879a5e620a
 2008-12-05 00:25:02 +00:00
Sam Tobin-Hochstadt
3f501c1a2f Handle (Instance Foo) where Foo is unbound. 
Return correct error behavior.

svn: r12410

original commit: 541a47f7fd943f77f82983bd52a837db47b736a8
 2008-11-12 15:59:24 +00:00
Sam Tobin-Hochstadt
e9bc755fb5 More specific type for quote-syntax (this hides an infinite loop) 
svn: r12162

original commit: b7df781999305482ca8e4afaa7718a4af20adf9d
 2008-10-28 22:40:19 +00:00
Sam Tobin-Hochstadt
3919075cb3 Handle multiple instantiation of a single expression. 
svn: r12148

original commit: 0c44c5ce409512b2f2fb41b70d6ae9ef9a64259d
 2008-10-27 20:06:31 +00:00
Sam Tobin-Hochstadt
6db06c53cd New error handling for type parsing errors. 
New error type that is both top/bot.
Fix provide handling if identifier is provided twice.
Note that require/typed is really a definition.
Fix require of #%kernel.

svn: r12083

original commit: 3a9928474523b042f83a7a707346daa01ef63899
 2008-10-21 18:01:03 +00:00
Sam Tobin-Hochstadt
4bed8042a1 revert this change to fix drscheme. 
svn: r12075

original commit: b173fb073efdcf3f5a9acc9188de84de32ee3cf4
 2008-10-20 20:04:15 +00:00
Sam Tobin-Hochstadt
dc77ba4148 revert previous change 
svn: r12074

original commit: 714e356fb48a1bb78c850a1d2e676645c3ab0e8e
 2008-10-20 19:01:52 +00:00
Sam Tobin-Hochstadt
e347aea92c require/typed is really a definition for the purpose of provide. 
svn: r12073

original commit: aad41cc46e026059e17dc0737fd140f03835b8f9
 2008-10-20 16:55:55 +00:00
Sam Tobin-Hochstadt
2f7553ada9 Fix inference for simple fns with ... 
svn: r11977

original commit: 3db02a50e168ae8f22c056919cc1413bfb1b7c73
 2008-10-08 15:34:05 +00:00
Sam Tobin-Hochstadt
687faf6d08 Fix bug in inference when tvars in env. 
svn: r11968

original commit: dbf4462228a4094e2fa71617cd88ae61e80e12d2
 2008-10-07 21:55:25 +00:00
Sam Tobin-Hochstadt
74d7ac4276 Fix handling of explicit maker in tc-struct. 
svn: r11881

original commit: 98c02cb887c493ed5aa9c371b382200f0600049d
 2008-09-26 12:23:33 +00:00
Sam Tobin-Hochstadt
21ca4c1d01 Fix delay/force. 
svn: r11841

original commit: 917307bd2e8f8dccad9bfcc27261f30e19cc87cb
 2008-09-22 21:37:13 +00:00
Sam Tobin-Hochstadt
d417ac6a55 Catch error before internal error, more informative internal error. 
svn: r11837

original commit: 88d44f9c5b37b17e43cac04d918eff5a34870334
 2008-09-22 18:35:24 +00:00
Sam Tobin-Hochstadt
dd61d2e865 Fix internal errors in error reporting. 
svn: r11836

original commit: e7a7036a48fd3afa19f5dd5420aae13ed09dbda2
 2008-09-22 18:09:49 +00:00
Sam Tobin-Hochstadt
c7f2971ecb contracts for infer, and keyword argument for expected 
svn: r11735

original commit: 9d53eab27d39b0a978ae6dfb183cabf0e2eda087
 2008-09-13 23:00:24 +00:00
Sam Tobin-Hochstadt
dd509b80f3 Doc changes. 
svn: r11732

original commit: 37796884d8599d6411bff0ebbf6fc88e6f6bf285
 2008-09-13 22:45:22 +00:00
Sam Tobin-Hochstadt
9b7d945049 Add no-check language 
original commit: c7b51cfd2d1dece6ac2254f44e278f3c18ee13a7
 2008-09-10 14:49:15 -04:00
Sam Tobin-Hochstadt
f54d163224 reorg 
original commit: 5ac64589baffabf3e7045e5c0c877a1c484207ea
 2008-09-09 17:40:26 -04:00