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

48 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
ee7d9e61dd typed/racket/no-check 
original commit: 30fe053f7842c14bf0e0471a69b3105f41903bee
 2010-06-09 12:51:27 -04:00
Sam Tobin-Hochstadt
30120ded59 Change `typed-scheme' numerics. 
- `number?' no longer `real?'
 - Number no longer Real
 - remove obsolete environments
 - Fix tests to use Real where necessary.
 - Fix typed/mred and typed/framework
 - Fix insert-large-letters to use `sub1' for type-safe loop

Merge to 5.0.

original commit: d323a794e86993dc6a594d3d732d1cd623945d21
 2010-05-28 19:24:46 -04:00
Sam Tobin-Hochstadt
09151b1037 Remove `define-struct' from typed/racket. 
Closes PR 10619.

original commit: 3885ba4f543626e9fa1df8d4580cdad907ce5a40
 2010-05-25 00:09:04 -07:00
Eli Barzilay
1cc6dee899 "Racunit" -> "Rackunit" 
original commit: 7b14a1f585d368bca8967072fbf3530d568e1391
 2010-05-17 12:07:32 -04:00
Sam Tobin-Hochstadt
3dfdcf9722 fix `implied-atomic?' 
original commit: b1a49470eeaae287a8b2754308c476c3257434af
 2010-05-10 11:51:18 -04:00
Sam Tobin-Hochstadt
9bf9016106 add typed/racket and typed/racket/base 
original commit: 820040abc14381dc4b2ad7e4f11bcadbd821e089
 2010-05-09 11:44:38 -04:00
Sam Tobin-Hochstadt
80e644c20d produce the correct type 
original commit: 62af50867a825aab3572a442276921b205180a3a
 2010-05-05 17:50:20 -04:00
Sam Tobin-Hochstadt
e30cd94960 checks can sometimes return #t 
original commit: d7d157b441457e4bbcb07c328c9b8e350f3c92ce
 2010-05-04 19:47:38 -04:00
Sam Tobin-Hochstadt
bbf8fe4b54 use hairy macro rewriting to make more of racunit work 
original commit: b00b72a73a78f5b24a18fd79d907d987efe61530
 2010-05-04 19:47:37 -04:00
Sam Tobin-Hochstadt
c1415c98c2 typed/racunit: 
- fix more contracts
- make test tests not fail

original commit: 3ebd04550a14e52ed1ce44abe2c1d9f4b7c3374a
 2010-05-04 19:47:37 -04:00
Sam Tobin-Hochstadt
9e9ee0aee4 fix some racunit types, add test case 
original commit: 0a2b16f804502b169e1b1a7ab89fe25f5f6bb0ed
 2010-05-04 19:47:37 -04:00
Jay McCarthy
80a48b4a6e Adding typed/racunit and fixing racunit exports vis a vis documentation 
original commit: 445a143f5193e874d88bddfa9fc9ef1b52211f26
 2010-05-03 22:30:32 -06:00
Sam Tobin-Hochstadt
3bfbc7da7f fix to work w/ racket renamings 
original commit: b308a52240c9edcdd0c51bad5612314d44894b51
 2010-04-30 16:04:03 -04:00
Sam Tobin-Hochstadt
2addf717a0 rename to rkt 
original commit: 459a675b90443b59e46bccae476a6f040fa8434d
 2010-04-30 09:51:32 -04:00
Robby Findler
8692a5c39e renamed the preferences to drracket: 
original commit: fbf52d6957bde0011b654291b5ba3fd714f976c5
 2010-04-29 11:03:06 -05:00
Matthew Flatt
94184a7671 rename all files .ss -> .rkt 
original commit: 28b404307793f041bb3363135a2968e283855318
 2010-04-27 16:50:15 -06:00
Sam Tobin-Hochstadt
8ab2ccb53f add first steps in real solving 
original commit: b0918cd8b90972bd0b134e2e67f20020444be65e
 2010-04-22 16:46:06 -04:00
Matthew Flatt
8cf31c8de6 change #:module-info to #:language-info for consistency with module->language-info 
original commit: 7503f8c6e948a7e949cc4bb48e4fad71f877c90c
 2010-04-21 18:50:16 -06:00
Sam Tobin-Hochstadt
b797c59d21 start removing names 
original commit: df1572231ea34907db23f7c930a19bea7e4e6249
 2010-04-19 17:52:10 -04:00
Sam Tobin-Hochstadt
f07551ef24 Enable proper reader and repl config for typed/scheme 
svn: r18773

original commit: 0b55e34853ab9a4483703148aa522acaa532f698
 2010-04-09 20:06:53 +00: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
Sam Tobin-Hochstadt
3086c4e339 Actual contracts for classes. Yay sstrickl! 
svn: r18547

original commit: b9902e514541039ac87d47c35e9bcd9d3f37d1f3
 2010-03-15 18:21:15 +00:00
Sam Tobin-Hochstadt
2f1771b849 Add `define-predicate' 
svn: r18497

original commit: c24daa5dbb2e4a503e81385620008b70d044f76c
 2010-03-10 00:10:03 +00:00
Stevie Strickland
a92cd6cdce Add `unregister-type' 
Add type regions.
Untyped lexical vars not an internal error.

svn: r18374

original commit: 8e3a67936eeb14fc08279a075966f93e35209f23
 2010-02-27 01:26:16 +00:00
Sam Tobin-Hochstadt
03ae8d6f21 Improve some framework contracts, and provide scheme/base at phase 1 from typed/scheme. 
svn: r18106

original commit: 0920b493c84cf2e8306325bd98f5ae9759acdd51
 2010-02-17 00:02:44 +00:00
Sam Tobin-Hochstadt
b2ea0474f2 Fix printing of `Number' - reported by Noel. 
Provide `assert' from `typed/scheme'

svn: r18062

original commit: e99b1d028c89c2b3b027f861260fa57d2790abf1
 2010-02-12 15:49:58 +00:00
Sam Tobin-Hochstadt
e2b4318dfa More precise types for typed MrEd wrappers. 
More precise types in auto-language.ss

svn: r18041

original commit: c224d2ebfc878ddb2758cdd409cacd2dbf49e891
 2010-02-10 20:23:59 +00:00
Sam Tobin-Hochstadt
2669a3269a Fix abstraction of implications. 
Fix contract for lookup-typed/lexical.
Default cases for printing.
Abstract out indexing functions for Nat/Integer split.

svn: r17272

original commit: d0c8a19ce84ce1ef674c1c43e69b56ee7e0a63a2
 2009-12-11 23:00:37 +00:00
Sam Tobin-Hochstadt
445c65e12e checkpoint 
svn: r17054

original commit: e3bafbe298688ec0efe47a09254492f93027fa71
 2009-11-25 02:30:41 +00:00
Sam Tobin-Hochstadt
e5c1d9e02b checkpoint 
svn: r16931

original commit: 750c971d0727b495c55fb090e38d3fb3001d3624
 2009-11-21 00:11:37 +00:00
Sam Tobin-Hochstadt
7fe635dfee start on typed/scheme 
svn: r16896

original commit: d28add0fa915e099e11fbd7ef44fb2e3e2c0ee40
 2009-11-19 19:47:51 +00:00
Robby Findler
4ed2cea857 added some font sizing information to the insert large letters dialog 
svn: r16561

original commit: ad438ef63fe680b29ffde88bf8d6e4a7f233ec3f
 2009-11-05 16:19:01 +00:00
Eli Barzilay
029cacff8e I just cleaned this floor -- take off your shoes when you walk around 
svn: r16386

original commit: 444750fd4295699c84467aa8ddabf0373843b39d
 2009-10-20 18:53:06 +00:00
Sam Tobin-Hochstadt
387ee8193b Add `typed/scheme/system' 
Special handling of (letrec ([x e]) x)
Allow functions with optional keyword args to be inferred when kws not supplied.
Infer instantiations for kw functions in simple cases.
Add `Path-String' type
Fix types of `filter', `with-{input-to,output-from}-file'
Add `port->lines'
New 'metrics.ss' test

svn: r16385

original commit: 37106bd6f7241277288ad56a3c75aef53cdfc3c3
 2009-10-20 18:30:37 +00:00
Eli Barzilay
40fa4f26b2 Newlines at EOFs 
svn: r15380

original commit: a70bf64fd9d68487c128282ca85a8964e1592711
 2009-07-04 02:28:31 +00:00
Sam Tobin-Hochstadt
bbcaf97689 export type names 
svn: r15134

original commit: cdca1d610894cb93ac1268c2bd4ca3cebbf69368
 2009-06-10 21:50:50 +00:00
Sam Tobin-Hochstadt
8fa0ec6079 First step to polymorphic functions in typed/untyped interface 
- poly/c contract from Carl/Stevie
- generate the contracts
- test
- use in typed/srfi/14

svn: r14241

original commit: 60e096913d18554592f4dd6e024d3f58cc94b88e
 2009-03-23 18:29:07 +00:00
Sam Tobin-Hochstadt
31acd517ab Typed wrapper for file/tar 
contributed by YC.

svn: r14233

original commit: 746446d4ac5f05a8876859a6a1de26541d654e5c
 2009-03-23 15:34:34 +00:00
Sam Tobin-Hochstadt
593d7cf24c Typed wrapper for md5.ss from YC. 
svn: r13921

original commit: 089ebfe49203fe8aa55571a773e659eca1a078a4
 2009-03-03 20:01:41 +00:00
Sam Tobin-Hochstadt
04a87a60b5 Typed version of SRFI 14, from David Van Horn. 
svn: r13905

original commit: 2b0e89ee2ae1359f4088aa1d768c90eea5d61da2
 2009-03-03 02:09:33 +00:00
Sam Tobin-Hochstadt
aafbd385f1 add Text% type, new function 
svn: r13536

original commit: 80c8ac3b5f79924faa86bb671fe8e975b2e03f0f
 2009-02-12 19:55:02 +00:00
Sam Tobin-Hochstadt
e2b8fc48b8 typed/mred 
- use (Listof Any) instead of List
 

svn: r13439

original commit: 8416536f441d0bd1f010a75a264e02e096921840
 2009-02-04 23:33:24 +00:00
Eli Barzilay
9f15554e02 newlines at EOFs 
svn: r13105

original commit: d1a0086471bf5e9553a9b056b26286c427831d38
 2009-01-14 03:10:47 +00:00
Sam Tobin-Hochstadt
59481295ef Update typed collection to use struct inheritance. 
svn: r12747

original commit: da7b6978eefdc1d476361cb56cbf577dbf32c825
 2008-12-08 20:48:25 +00:00
Eli Barzilay
8cfc33caf9 set svn:eol-style 
svn: r12520

original commit: 447cea73d08c145385fc75a236cb705c5d2a705f
 2008-11-20 00:16:25 +00:00
Sam Tobin-Hochstadt
8c097679ea Typed wrappers for file/gif and almost all of net/*. 
svn: r12518

original commit: 7124d1e1a1a4e04f4fb23fb2a2d02a82fd6b5426
 2008-11-19 22:51:24 +00:00
Sam Tobin-Hochstadt
ec1e13a286 Refactor require/typed/provide and dt into new private dir. 
svn: r12517

original commit: 66b9b932ef7d5b5eec53731ec7f196ba4d6b263f
 2008-11-19 22:50:54 +00:00
Sam Tobin-Hochstadt
c9e6071981 Add collection for typed version of collections. 
Start with mred and framework.

svn: r12409

original commit: 48c90f1c10857f0a486bacd3d01b71cb1f19ba90
 2008-11-12 15:57:45 +00:00