Andrew Kent
581469e749
removed scope structs from types
2015-11-28 15:04:03 -05:00
Vincent St-Amour
8f32aad3ee
Remove not-actually-unsafe unsafe operations.
2015-11-03 14:34:39 -06:00
Vincent St-Amour
59b5cb7346
Remove unused dependency.
2015-11-03 14:25:49 -06:00
Sam Tobin-Hochstadt
ad0c69ea29
Make these definitions safe again.
...
As of this moment, the performance win on new-metrics.rkt for
using the unsafe version is about 1% (avg over 10 runs), which
isn't enough to make it worth the segfaults. I believe that
changes to the JIT since 2012 (when the unsafe ops were added)
have sped up struct access.
2015-11-02 14:49:25 -05:00
Asumu Takikawa
ae0741aaa7
Use cond-contract forms instead of lazy-require
2015-10-31 04:15:06 -04:00
Vincent St-Amour
5ed30d7fcf
Fix contract build.
2015-09-11 13:12:49 -05:00
Daniel Feltey
2e0cc095c7
Initial support for typed units in typed racket.
...
Most unit forms are supported, including most of the "infer" forms that
infer imports/exports/linkages from the current context.
Notably, none of the structural linking forms for units are supported, and
`define-unit-binding` is also currently unsupported.
2015-09-10 16:32:11 -05:00
AlexKnauth
a58c2e317f
add define-new-subtype
...
inspired by haskell newtypes
http://www.mail-archive.com/racket-users@googlegroups.com/msg27118.html
https://www.haskell.org/tutorial/moretypes.html
2015-07-30 01:39:06 -04:00
Sam Tobin-Hochstadt
91e3a1b5f0
Make sure that user-specified clauses come before default clauses in type-case.
...
Avoids nasty hash ordering bugs.
2015-06-02 17:32:33 -04:00
Asumu Takikawa
7bf4314af4
Simplify Name type representation
...
Avoids contract errors by using a simpler representation
and sticking with it throughout.
2015-04-08 11:23:48 -04:00
Asumu Takikawa
5d708ab53f
Add typechecking for prefab structs
...
Adds a new Prefab type constructor along with support for
the use of `struct` with the #:prefab keyword.
2015-03-10 15:14:51 -04:00
Asumu Takikawa
62c86d5ddd
Added occurrence typing for private fields.
...
This also tracks mutation of private fields to ensure that only
non-mutated field types are allowed to be refined.
2015-02-12 16:31:18 -05:00
Asumu Takikawa
de926372fa
Loosen contracts for with-tr-contracts unit test
2015-01-09 11:19:57 -05:00
Sam Tobin-Hochstadt
44e3cdfb71
Remove extra directories.
2014-12-02 00:53:36 -05:00
