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

69 Commits

Author SHA1 Message Date
Vincent St-Amour
57ce28ef09 Added a button for the performance report tool when in a typed language. 
original commit: 101feb82007f3c2f0f7831a6be368cdae411beab
 2011-07-15 15:04:51 -04:00
Vincent St-Amour
0fa93ae065 Remove trailing whitespace. 
original commit: 43efe6adf01c5ee7f7b63eebd46c85ce38eff97b
 2011-06-30 14:01:47 -04:00
Matthew Flatt
5fb4f1af3a remove syntax certificates; add syntax taints 
original commit: 1160d3df629ce65eb8fe9ebea2c33b8d4000ea50
 2011-06-29 19:15:48 -06:00
Eric Dobson
00e5ce0357 Added legacy support for require/typed and require-typed-struct. 
Added FIXME for duplicated code.

original commit: e87ff268c2b8e19904c396640598ca00df475158
 2011-06-29 17:38:05 -04:00
Eric Dobson
a5d5be4f95 Added support for configurable constructor names in require/typed. 
Closes PR11171. Closes PR11194. Closes PR11314.

original commit: f3692eae29d7b0582eb90cc4768786688b8ca438
 2011-06-29 17:38:05 -04:00
Eli Barzilay
52bad5959a A long overdue scan to eliminate files without terminating newlines. 
(DrRacket should really do that.)

original commit: 40124a0619da5e187d95aeb1dde237f05d6f9c6b
 2011-06-28 02:01:41 -04:00
Sam Tobin-Hochstadt
b92dbc8079 Fix rackunit types to be Any', not Void'. 
original commit: 19a7a370335413c280646cbc0653aa111f09879b
 2011-06-24 18:10:25 -04:00
Sam Tobin-Hochstadt
fc51aee0b1 Provide `with-handlers' from prims.rkt under its real name. 
original commit: c658a5687e0f9b9fdde8ae2dfbd9fda334fe9358
 2011-06-24 18:10:25 -04:00
Eric Dobson
98155d2366 Corrects types for typed/rackunit. Closes PR 11912. 
Signed-off-by: Sam Tobin-Hochstadt <samth@racket-lang.org>

original commit: d0d748c55a3516f6f1911c437a0988fd6474061c
 2011-06-23 12:19:56 -04:00
Sam Tobin-Hochstadt
a7ee67ce1a Ignore undocumented exports that are from `racket'. 
original commit: d05d54db8efa0db72c23ece4d049866d3e13b9c4
 2011-06-22 14:28:52 -04:00
Sam Tobin-Hochstadt
b835c36bdf Include `typed-scheme' language in doc check. 
original commit: 2f274b789278c9c65b13fe55138e0ba9c600a866
 2011-06-21 15:34:50 -04:00
Vincent St-Amour
bc20a9f27c Move base environment files to their own subdirectory. 
original commit: 1ed0e8479146b478ada2c8866a468034b94cd8da
 2011-05-17 15:16:18 -04:00
Robby Findler
0dc02d4682 moved the docs-complete library into rackunit 
to avoid having a separate, new manual for the
  one library

original commit: 507b1cd8fd81cd9c5fcf466a2a0c4c47433b0795
 2011-05-05 16:10:42 -05:00
Sam Tobin-Hochstadt
f1c0bd8280 Remove uneccesary provides. 
original commit: 561d89f0aff26c4171776ae4ed38127e51a349d5
 2011-04-28 18:25:22 -04:00
Sam Tobin-Hochstadt
aa2bbc255d Progress on missing docs. 
original commit: c28f024ae05ef276c9bf2e5ad5ddea45462ac3ff
 2011-04-28 18:25:22 -04:00
Robby Findler
c2fac98d9c added lots of new tests that our documentation is complete 
original commit: e7d0029aeaadcaf1c691756198f96cfd5eff0f4c
 2011-04-25 13:24:43 -05:00
John Clements
c60b5b21a9 oops rename in tests subdir too 
original commit: ca88fdd7e52bc57a83e45131fdabc2dddbe4fef4
 2011-03-08 17:37:38 -08:00
Sam Tobin-Hochstadt
eacda65291 Add `defined?' assertions to fix DrRacket. 
original commit: e70ccafd7b591df218a1ae036f599c671eb57824
 2010-12-08 18:53:56 -05:00
Sam Tobin-Hochstadt
ea078904a5 Remove requires for environments now handled dynamically. 
original commit: 5302b3e87c01be9c11e5f2098c90615bf5c883bc
 2010-09-09 16:08:04 -04:00
Vincent St-Amour
f360fac138 Added annotations to plain for and for* in typed code. 
original commit: d3ee52d4514170b514faecb80b5c939bf7da3aea
 2010-08-27 18:18:52 -04:00
Sam Tobin-Hochstadt
6b89ef5f82 base-types-new -> base-types 
original commit: 77e4bbb5eb5e568db8478d0e102b1a0f6ece50f9
 2010-06-17 11:47:16 -04:00
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