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 |
|
Vincent St-Amour
|
bc20a9f27c
|
Move base environment files to their own subdirectory.
original commit: 1ed0e8479146b478ada2c8866a468034b94cd8da
|
2011-05-17 15:16:18 -04:00 |
|