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

51 Commits

Author SHA1 Message Date
Eric Dobson
a8af94e892 Added types for dynamic module access operations. 
original commit: 1a44a82868f662c067fe3823d3be852fa03da977
 2011-06-24 20:10:37 -04:00
Eric Dobson
be93d9c98f Added types for continuation prompt and mark operations. 
original commit: 78b68171ea06378788271ca87fbdd126f19202b9
 2011-06-24 20:10:37 -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
76edce6f07 Change Module-Path to be union type instead of a Base type. Closes PR 11963. 
original commit: 42415575438236d0fcd900ce1ab854ed8aa256e0
 2011-06-23 10:05:36 -04:00
Asumu Takikawa
e9d31e83fb Add negate (racket/function) to TR 
original commit: 122aed89700b80eb9c9acde8750175cc21eda6b4
 2011-06-22 16:04:19 -04:00
Asumu Takikawa
ee25931548 Add identity (from racket/function) to TR 
original commit: 05a5c162310ef5afb07fffd118386be74d9a73bf
 2011-06-22 16:04:19 -04:00
Eric Dobson
3919eabd09 TR: Added more tests for recently typed identifiers. 
original commit: 16ee3376f759bf43538e7988b53dc82c399bdec8
 2011-06-22 15:17:58 -04:00
Eric Dobson
5ddf7d06e2 TR: Added some syntax and set tests. 
original commit: f5a7e73be82d0dcac4b7627fc81c69a8d49bf1e3
 2011-06-22 15:17:57 -04:00
Eric Dobson
f1234fc2e1 Added tests for filesystem operations, and added public type names. 
original commit: f5517367e5413f089f402c85bc5ae472b3d9d314
 2011-06-22 15:17:57 -04:00
Eric Dobson
018ff1814a Fixed and cleaned up some types. 
original commit: dedd42a9ddaa773eb983e4c740ceebd9c52bae1d
 2011-06-22 15:17:57 -04:00
Eric Dobson
dca276b517 Added types for tcp and udp operations. 
original commit: 7803aed77bcabee4ef35ef82daa1642d50fbb67d
 2011-06-22 15:17:57 -04:00
Eric Dobson
96835b9205 Added types for syntax operations. 
original commit: 85b19e9fee1fe2f0364ac23fe45e0dcf18afa85d
 2011-06-22 15:16:56 -04:00
Eric Dobson
b3f46c1cdc Added types for environment and runtime operations. 
original commit: ad247b28b62260441ae22702d9ed6cd604b0c8da
 2011-06-22 15:16:56 -04:00
Eric Dobson
e814d4df15 Added types for file operations. 
original commit: ae26c2173dd1a0f2808b2a4bc7882ebca95f4884
 2011-06-22 15:16:55 -04:00
Eric Dobson
121ad5427d TR: Many small type changes. 
original commit: 329b209f3bba1cdd43df3fc5cd42297d1308a8b4
 2011-06-22 15:16:55 -04:00
Eric Dobson
dd401a6f98 Added types for namespace and variable reference operations. 
original commit: 4f898865fd856d92b040336d7eda1cdfd5afe253
 2011-06-22 15:16:55 -04:00
Eric Dobson
7dbfd5ad2a Added types for hash and set operations. 
original commit: 7102c4dae2ba9af44d0ed35ec6e5285a7a825034
 2011-06-22 15:16:55 -04:00
Eric Dobson
1f387b8678 Added types for parameters and parameterization operations. 
original commit: 469f0a5314d1ff1348bb8fe3e4d4d45fda0387b9
 2011-06-22 15:16:55 -04:00
Eric Dobson
c121869565 TR: Added Thread Cells and corresponding operations 
original commit: a913a1432d8ab3ef28519732352340dd1ee92872
 2011-06-22 15:16:55 -04:00
Eric Dobson
ce39dddf04 Added types for thread operations. Added Custodian type. 
original commit: bdf0d13970dcb088aa4f71497e3a074b9e26d0b6
 2011-06-22 15:16:55 -04:00
Vincent St-Amour
4a4246e637 Fix type of = to only accept 2+ arguments. 
original commit: d946060a13e688daab43949e1a623ea2a3de6102
 2011-06-22 14:32:05 -04:00
Sam Tobin-Hochstadt
e08b226a96 Fix type-env-lang to handle require'/provide' better. 
original commit: 2cdf05ad5c0627362c0f5dee604147acfd608b27
 2011-06-22 14:28:52 -04:00
Sam Tobin-Hochstadt
0c1aa7267c Remove `SomeSystemPath'. 
original commit: f195b3c68903bfacb7cfea278162ed0651984f12
 2011-06-22 14:28:51 -04:00
Sam Tobin-Hochstadt
114e2d3866 Rename SomeSystemPath to `Path-For-Some-System' 
original commit: 9be4b16703b89b07add3974ecb74dc6888337fda
 2011-06-21 15:34:50 -04:00
Sam Tobin-Hochstadt
cbe820453f Support additional `provide'. 
original commit: fbc76a307455f55f1ee59d75272066b6d70a0019
 2011-06-21 15:34:50 -04:00
Eric Dobson
03900fe84f Fixes TR regexp regression. Closes PR11991. 
original commit: 0f6fde5003c1594c468b82df8cf64a2ce17f65f5
 2011-06-21 15:34:50 -04:00
Eric Dobson
2c4a553459 Cleaned up base-env. Added comments about untyped identifiers. 
Used one-of/c to clean up some types.

original commit: 1348887bd14a115518a4e0eab053b3bdd348e91b
 2011-06-17 15:17:20 -04:00
Eric Dobson
ee96de4dce Moved tests for equality to unit tests 
original commit: 0671945a8d39c87dfe3536291a06bf2dc00f241d
 2011-06-17 15:17:20 -04:00
Eric Dobson
ef4531d328 Added types for reading and writing operations 
original commit: feeccc062bb4a00cf3ab4f77e6bf8f100d72f630
 2011-06-17 15:17:19 -04:00
Eric Dobson
c189a053f5 Added types for regexp operations. Changed Regexp to correspond to regexp?. 
original commit: 029651b9eeaed6b4cecb800da2c01fa6cbed1270
 2011-06-17 15:17:19 -04:00
Eric Dobson
ba0a3b98e7 Added public names for recently added types 
original commit: 3e1a95750d41acc4d4ae418f6f8acafc9085f6dc
 2011-06-17 15:17:19 -04:00
Eric Dobson
fedb424889 Added types for I/O operations 
original commit: 6f3bbad3676120d2618e8ca359cf44c588c693b2
 2011-06-17 15:17:19 -04:00
Eric Dobson
400b626e8b Added types and some tests for port operations 
original commit: 54a12afb49de224a305ae1c8ecd09c517ad7a95e
 2011-06-17 15:17:19 -04:00
Eric Dobson
c99acfa622 Added types and tests for equality operations. 
original commit: c77e906c7afb257d94e61a01706553064150a1a6
 2011-06-17 15:17:19 -04:00
Eric Dobson
5fef88131d Added types and tests for raising and handling exceptions 
original commit: 2d152bac79e8a447d92ca8c5a05a78aef27da020
 2011-06-17 15:17:19 -04:00
Eric Dobson
fff49902ea Added types and tests for symbol operations 
original commit: 4ba12dd20e618fee9d00601a94d7ce060f2a31ee
 2011-06-17 15:17:19 -04:00
Eric Dobson
046b62fdaf Added types and tests for string operations 
original commit: ab23db7b5b2bbb310e503cac7345eed73af94f56
 2011-06-17 15:17:19 -04:00
Vincent St-Amour
3face0ff46 Unify types and filter behavior of not and false?. 
original commit: 26541ffbbdccf7d27db1f1ae439430090fcb4b0b
 2011-06-16 18:08:44 -04:00
Vincent St-Amour
d78bd10198 Make type annotations optional for for*/lists: and for*/fold:. 
original commit: 48bf6f829066c272a7394595fff3d83617799f98
 2011-06-14 17:53:28 -04:00
Vincent St-Amour
62db0355b4 Synthesize annotations for for/lists: if possible. 
original commit: 2922821f3c47c9a3259150a057427f080248bfdd
 2011-06-14 17:53:27 -04:00
Vincent St-Amour
9a2f908349 Remove obsolete comment. 
original commit: f4973ff05e021b946002691e4f60266f4375a2e1
 2011-06-14 17:53:27 -04:00
Vincent St-Amour
37494a9c89 Fix bad name. 
original commit: 8c92a32cbba71528730b013a72bd33b8b4d6ed63
 2011-06-14 17:53:27 -04:00
Vincent St-Amour
c31b879cc0 Allow omitting type annotation in most of the for: forms. 
original commit: a5bccaffe1994d27582582b6ff6c1cd66ad8cbfb
 2011-06-14 17:53:27 -04:00
Vincent St-Amour
d437c49ad9 Allow omitting type annotation on for/fold:. 
original commit: 506980240a1b5f468ec32ad84ef54bac5089c879
 2011-06-14 17:53:26 -04:00
Eric Dobson
95a11759c1 TR: Changed type of port->list 
original commit: c7f9a80de88d8ce0a2743ac5baa9f4b8c30fc29b
 2011-06-10 17:22:14 -04:00
Eric Dobson
6e5b63910c Added check to make sure that safe/unsafe flonumops are the same binding 
original commit: 157481ceda9f032e7c160d88f33f922638071ca6
 2011-06-07 21:15:17 -04:00
Eric Dobson
083295f4e3 Base type environment now checks for duplicate types. 
original commit: 88ce4e281c6b96d0e0602c6210fee7c2d1babf00
 2011-06-07 21:15:17 -04:00
Vincent St-Amour
7e441e8e31 Remove trailing whitespace. 
original commit: 3b036388d64c33a63bad18e53341b54bac719b1a
 2011-05-18 17:09:45 -04:00
Eric Dobson
303c4913bc Path manipulation now works with SomeSystemPath correctly. 
original commit: 9a65545814b114fb2d33434f24d592f6c23a72db
 2011-05-17 18:03:48 -04:00
Eric Dobson
a5edb5bff9 Split Path type into Path and OtherSystemPath. 
original commit: 05af2b9e17f976b3ecfbc14e062b1b59fa9e1d10
 2011-05-17 18:03:48 -04:00