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

315 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
e61075a4fd Default types for lambda formals. 
svn: r13539
 2009-02-12 23:55:53 +00:00
Sam Tobin-Hochstadt
8802b83c0a typed-scheme 
- use syntax classes for tc-literal
 - remove one-armed if
 - fix comments
 - use syntax classes for find-annotation
 - unit contracts for inference unit and typechecker unit
 - macro to enable/disable unit contracts
 - correct fold/free-var calculation for latent effects
 - documentation improvements
 - add bindings for additional special type forms
 - U and Un are the same binding, same with Tuple and List
 - fix types for integer?, exact-integer?
 - write not-yet-enabled syntax-class based type parser

svn: r13440
 2009-02-04 23:39:38 +00:00
Sam Tobin-Hochstadt
9f77daab41 fix expr attribute 
svn: r13438
 2009-02-04 23:07:09 +00:00
Sam Tobin-Hochstadt
f867eea8c3 take out work on paths, now compiles 
svn: r13431
 2009-02-04 20:57:28 +00:00
Sam Tobin-Hochstadt
3ab3c8d368 commit work to new branch, doesn't work yet 
svn: r13427
 2009-02-04 20:19:41 +00:00
Sam Tobin-Hochstadt
2962c0bfa7 Fix handling of inexact integer literals. 
svn: r13294
 2009-01-27 17:55:10 +00:00
Eli Barzilay
4288ba636e fix the type of > and indent 
svn: r13275
 2009-01-24 21:13:15 +00:00
Ryan Culpepper
eb9fe4847f stxclass: created stxclass collection, with docs 
svn: r13255
 2009-01-22 05:50:55 +00:00
Eli Barzilay
d1a0086471 newlines at EOFs 
svn: r13105
 2009-01-14 03:10:47 +00:00
Matthew Flatt
ec600c59bb fine-tune typechecking index entry 
svn: r12920
 2008-12-21 13:57:46 +00:00
John Clements
424ec50bfb ... 
svn: r12919
 2008-12-21 10:00:47 +00:00
Sam Tobin-Hochstadt
ea0873adb2 Handle top-arr in infer. Add convenience binding for function top. 
svn: r12745
 2008-12-08 18:24:33 +00:00
Sam Tobin-Hochstadt
8c4789a627 Initialize `infer' for env-lang. 
svn: r12740
 2008-12-08 16:54:13 +00:00
Sam Tobin-Hochstadt
587ca08466 Don't fail early here. 
svn: r12729
 2008-12-08 03:37:24 +00:00
Sam Tobin-Hochstadt
dd8e878cb4 Fix time-apply, add test 
svn: r12727
 2008-12-08 03:12:38 +00:00
Sam Tobin-Hochstadt
238b248ad5 Add `current-continuation-marks' 
Add some exns
Test require substructs

svn: r12726
 2008-12-08 03:10:12 +00:00
Sam Tobin-Hochstadt
e6eb482de4 Enable require-typed-struct with substructures. 
Fixes PR 9053.
Move test to succeed.
Add some new bindings.

svn: r12709
 2008-12-05 00:25:02 +00:00
Sam Tobin-Hochstadt
e27ae4d457 bindings for the rest of scheme/bool 
svn: r12548
 2008-11-20 22:30:29 +00:00
Sam Tobin-Hochstadt
a4ac14b124 Add scheme/tcp bindings. 
svn: r12516
 2008-11-19 22:50:10 +00:00
Sam Tobin-Hochstadt
541a47f7fd Handle (Instance Foo) where Foo is unbound. 
Return correct error behavior.

svn: r12410
 2008-11-12 15:59:24 +00:00
Sam Tobin-Hochstadt
477fa5581e Store contract in Base type representation. 
Fix tests, pattern matches.
Contract is *ignored* in equality testing.

svn: r12227
 2008-11-03 23:58:29 +00:00
Sam Tobin-Hochstadt
e69f6e126a Reorganize initial type definitions to use DSL. 
Split special type names into base-types-extra.ss
Fix test require.
Base types are now require in main.ss

svn: r12203
 2008-10-31 17:12:16 +00:00
Sam Tobin-Hochstadt
9851b3ab78 Split typed scheme docs into guide and reference. 
svn: r12202
 2008-10-31 16:52:35 +00:00
Sam Tobin-Hochstadt
c4d183fcfc Less polymorphic type for `syntax->datum'. 
svn: r12163
 2008-10-28 22:40:43 +00:00
Sam Tobin-Hochstadt
b7df781999 More specific type for quote-syntax (this hides an infinite loop) 
svn: r12162
 2008-10-28 22:40:19 +00:00
Sam Tobin-Hochstadt
0c44c5ce40 Handle multiple instantiation of a single expression. 
svn: r12148
 2008-10-27 20:06:31 +00:00
Sam Tobin-Hochstadt
d60ae208e1 Remove stray printf. 
svn: r12147
 2008-10-27 20:04:41 +00:00
Sam Tobin-Hochstadt
0f347883dd Warn about unreachable code. 
svn: r12146
 2008-10-27 20:03:16 +00:00
Sam Tobin-Hochstadt
5db61f199f Add `warn-unreachable' 
svn: r12145
 2008-10-27 20:02:34 +00:00
Sam Tobin-Hochstadt
a7b5d4af4b Add type for Procedure. 
Fix types to use Integer instead of Number where appropriate.
add type for maybe-print-message.

svn: r12141
 2008-10-27 15:16:22 +00:00
Sam Tobin-Hochstadt
f18fe09752 Typechecking now uses effects from then branch if else branch is unreachable. 
svn: r12109
 2008-10-23 23:34:44 +00:00
Sam Tobin-Hochstadt
101ca7ada7 Document `List'. 
svn: r12107
 2008-10-23 22:56:30 +00:00
Sam Tobin-Hochstadt
ae1fd58e2b Improve printing of effects for functions with simple effects. 
Reject contract creation of overloaded types.

svn: r12105
 2008-10-23 21:43:23 +00:00
Sam Tobin-Hochstadt
d02748f0fa Static info for require-typed-struct 
svn: r12096
 2008-10-22 21:07:47 +00:00
Sam Tobin-Hochstadt
0ec881dc60 Fix type of odd and even. 
svn: r12086
 2008-10-21 20:55:07 +00:00
Eli Barzilay
b349b4baa2 look -- a let! 
svn: r12085
 2008-10-21 19:52:40 +00:00
Sam Tobin-Hochstadt
3a99284745 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
 2008-10-21 18:01:03 +00:00
Sam Tobin-Hochstadt
b173fb073e revert this change to fix drscheme. 
svn: r12075
 2008-10-20 20:04:15 +00:00
Sam Tobin-Hochstadt
714e356fb4 revert previous change 
svn: r12074
 2008-10-20 19:01:52 +00:00
Sam Tobin-Hochstadt
aad41cc46e require/typed is really a definition for the purpose of provide. 
svn: r12073
 2008-10-20 16:55:55 +00:00
Sam Tobin-Hochstadt
2b4a60ced6 Document singleton symbol types. 
svn: r12072
 2008-10-20 14:04:10 +00:00
Eli Barzilay
72198bf856 a little improvement (see PR9847) but still not working 
svn: r12068
 2008-10-20 02:52:23 +00:00
Eli Barzilay
05db2f04af allow the arrow to appear anywhere (since no inputs is a possible case) 
svn: r12039
 2008-10-14 19:07:27 +00:00
Eli Barzilay
9cc7f90a0a Allow an implicit paren for (: <id> : T ... -> T) 
svn: r12038
 2008-10-14 18:44:05 +00:00
Sam Tobin-Hochstadt
453deb8a5d Better error message for extra ->. 
svn: r12034
 2008-10-14 15:58:34 +00:00
Eli Barzilay
beec99c12e make-Listof -> -lst 
svn: r12021
 2008-10-13 17:17:30 +00:00
Sam Tobin-Hochstadt
6a0b9b4e20 Fix type of error. 
svn: r12019
 2008-10-13 16:22:52 +00:00
Eli Barzilay
c08e09ae6c list-tail 
svn: r12017
 2008-10-13 16:16:18 +00:00
Eli Barzilay
72f8e1d3e6 rem{ove,q,v} and rem[qv]* 
svn: r12016
 2008-10-13 15:58:29 +00:00
Eli Barzilay
fd89ef7d41 gcd & lcm, move sqrt with its friends 
svn: r12015
 2008-10-13 15:56:06 +00:00