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

135 Commits

Author SHA1 Message Date
Vincent St-Amour
aae1acf035 Fixed a bug in the optimizer that made it optimize where it 
shouldn't have.
 2010-06-11 20:53:10 -04:00
Vincent St-Amour
96c541912c Fixed a bug with eof and procedure types overlapping. 2010-06-11 19:48:22 -04:00
Sam Tobin-Hochstadt
7c32898cb2 Print names using the name, ignoring aliases. 2010-06-11 17:48:37 -04:00
Sam Tobin-Hochstadt
0379e534e3 New interface for unstable/mutated-vars 
- functional hash tables
 - fix clients
 2010-06-10 13:28:29 -04:00
Sam Tobin-Hochstadt
0149a05719 Fix promise printing, add docs. Closes PR 10968. 2010-06-09 16:56:31 -04:00
Vincent St-Amour
436e001b0e Fixed the implementation of Channel types. 2010-06-09 15:28:10 -04:00
Vincent St-Amour
15b0c8542d Added the Thread type and related functions. 2010-06-09 14:54:36 -04:00
Vincent St-Amour
ec799fb208 Added Channel types. 2010-06-09 14:54:35 -04:00
Sam Tobin-Hochstadt
78023d08f9 Sequenceof type. 
- inferencing and subtyping relation with vectors, lists, etc
- use in `make-sequence'
- add tests
 2010-06-09 11:03:12 -04:00
Sam Tobin-Hochstadt
7df8e32793 Properly handling immutable invariant structs. 2010-06-07 14:03:06 -04:00
Sam Tobin-Hochstadt
8194bcc4d4 Guard type-equal? test. 2010-05-27 12:46:37 -04:00
Sam Tobin-Hochstadt
bd0bcda85e Simpler has-name? implementation. 2010-05-27 10:50:15 -04:00
Sam Tobin-Hochstadt
b21f704086 Print empty filters as - 2010-05-24 14:04:01 -07:00
Sam Tobin-Hochstadt
7e9313bad3 Allow recursive types in type annotations for `list'. 
Closes PR 10562.
 Tests for fixed bugs.
 2010-05-19 15:14:18 -05:00
Sam Tobin-Hochstadt
2c03f2223b mostly done with heterogenous vectors 2010-05-14 11:00:22 -04:00
Sam Tobin-Hochstadt
8d59ee77e4 Don't generate type filters for mutated variables. 2010-05-13 13:24:41 -04:00
Sam Tobin-Hochstadt
e81cdba69f Don't use raw union constructor. 2010-05-12 11:52:43 -04:00
Sam Tobin-Hochstadt
4548426cd4 Merge remote branch 'origin/master' into samth/new-logic2 2010-05-11 15:19:52 -04:00
Sam Tobin-Hochstadt
2d1625336e fix handling when subtype doesn't have rest arg 2010-05-10 17:53:48 -04:00
Sam Tobin-Hochstadt
c031729e4b use aux function to avoid generating useless filters 2010-05-10 17:03:21 -04:00
Sam Tobin-Hochstadt
1bbb857b18 use racket/base 2010-05-10 15:43:03 -04:00
Sam Tobin-Hochstadt
b1a49470ee fix `implied-atomic?' 2010-05-10 11:51:18 -04:00
Sam Tobin-Hochstadt
96da427659 don't need d/c/p any more 2010-04-30 16:04:22 -04:00
Sam Tobin-Hochstadt
459a675b90 rename to rkt 2010-04-30 09:51:32 -04:00
Sam Tobin-Hochstadt
04f58cab86 Merge remote branch 'origin/master' into samth/new-logic2 
Conflicts:
	collects/drscheme/private/insert-large-letters.ss
	collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
 2010-04-30 09:34:31 -04:00
Sam Tobin-Hochstadt
b5acbe3168 move d/c/p 
fix tc-e/t
 2010-04-27 19:29:10 -04:00
Sam Tobin-Hochstadt
27b0c01cdd Split filter operations into their own file. 
Take into account the type of arguments in filter generation.
 2010-04-27 19:12:06 -04:00
Matthew Flatt
28b4043077 rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
Sam Tobin-Hochstadt
83c1671972 strnum? works 2010-04-27 10:16:21 -04:00
Sam Tobin-Hochstadt
d935b63290 so close 2010-04-27 09:50:39 -04:00
Sam Tobin-Hochstadt
788630d26a progress towards let 2010-04-23 16:40:05 -04:00
Sam Tobin-Hochstadt
2d88d698c2 implication works 2010-04-23 12:31:22 -04:00
Sam Tobin-Hochstadt
64a6f7c3d5 better filter printing 2010-04-23 09:59:00 -04:00
Sam Tobin-Hochstadt
3311b2bb3a fix asym pred not to use identifiers 2010-04-22 18:27:08 -04:00
Sam Tobin-Hochstadt
b0918cd8b9 add first steps in real solving 2010-04-22 16:46:06 -04:00
Sam Tobin-Hochstadt
9c59782a37 progress, fix some dumb bugs 2010-04-21 19:00:12 -04:00
Sam Tobin-Hochstadt
f57ef37a66 Everything now compiles without names 2010-04-19 18:42:25 -04:00
Sam Tobin-Hochstadt
fca1044972 Merge branch 'master' into samth/new-logic2 2010-04-19 16:14:11 -04:00
Sam Tobin-Hochstadt
41e469d7ae Update structure types to have constructor ids. 
Use constructor to generate better contracts for poly structs.
 2010-04-14 15:06:14 -04:00
Sam Tobin-Hochstadt
0c730ae50a test improvements 
svn: r18814
 2010-04-14 17:11:21 +00:00
Sam Tobin-Hochstadt
25a817e4aa Fix thinko in subtyping. 
svn: r18802
 2010-04-12 22:23:39 +00:00
Sam Tobin-Hochstadt
d4e0c16d55 a new branch of the whole tree 
svn: r18648
 2010-03-27 14:49:58 +00:00
Noel Welsh
cf017110a9 Fix a problem generating contracts for FlVector exports. Add test for problem. 
svn: r18603
 2010-03-23 10:30:24 +00:00
Sam Tobin-Hochstadt
d58bf1521b added (disabled) optimization 
svn: r18567
 2010-03-17 19:25:21 +00:00
Noel Welsh
39a1489403 Add FlVector types to Typed Scheme and bindings for all flvector operations in scheme/flonum and scheme/unsafe/ops. 
svn: r18555
 2010-03-17 14:49:29 +00:00
Sam Tobin-Hochstadt
b3be4f32f7 Null does not overlap with structs. 
svn: r18508
 2010-03-10 23:43:47 +00:00
Sam Tobin-Hochstadt
65b12a2af3 Use `current-contract-region' appropriately. 
Maintain source locations.
Fix PR 10776.

svn: r18421
 2010-03-01 23:43:15 +00:00
Sam Tobin-Hochstadt
78c14e434b Add `with-type' for defintions, add #:result keyword. 
Fix contract for top-arr.
Remove static version of printing conditional.
Fix brokenness in print-converting.

svn: r18416
 2010-03-01 22:31:24 +00:00
Stevie Strickland
8e3a67936e Add `unregister-type' 
Add type regions.
Untyped lexical vars not an internal error.

svn: r18374
 2010-02-27 01:26:16 +00:00
Sam Tobin-Hochstadt
2e90dfc081 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
 2010-02-26 00:25:23 +00:00