Sam Caldwell
0226b74305
fix tests
2023-02-13 16:47:22 -05:00
Sam Caldwell
a0e8b59299
make Int a union type of Zero and NonZero
2023-02-10 16:46:11 -05:00
Sam Caldwell
042d667311
improve handling of initial field type for var asserts
2023-02-10 16:46:11 -05:00
Sam Caldwell
b273586616
small var assert example working with spin
2023-02-10 16:46:11 -05:00
Sam Caldwell
4ab405fd70
minimal VarAssert in turnstile working
2023-02-10 16:46:11 -05:00
Sam Caldwell
59042f9180
test case
2023-02-10 16:46:11 -05:00
Sam Caldwell
4808004d64
consolidate effect checking to a single key
2023-02-10 16:46:11 -05:00
Sam Caldwell
45425eb68d
Make True and False types, and Bool an alias for the union
2023-02-10 16:46:11 -05:00
Sam Caldwell
7f54c4ccd0
typed: start a SPIN test suite
2022-07-07 12:02:25 -04:00
Sam Caldwell
c9b25df034
typed: improvements and bug fixes for eliding type annotations
2022-05-04 21:00:31 -04:00
Sam Caldwell
b9f655766f
typed: add default types to constructor fields and alternate actor
...
typechecking path
Default types for fields means we can elaborate a binding pattern
without a current communication type.
Then a potential communication type can be the output of type checking
an actor, that is checked when it is instantiated, such as in a
dataspace or other context.
2022-05-03 11:51:06 -04:00
Sam Caldwell
06aa3690c7
typed: introduce default naming convention for constructor types
2022-03-16 12:04:50 -04:00
Sam Caldwell
98c58d3e6f
Add a typed during/spawn and checks for overly broad interests
2021-04-22 15:38:15 -04:00
Sam Caldwell
c3559f1611
Hide legacy typed/syndicate #lang, consolidate to the "roles" version
2021-04-22 12:09:57 -04:00
Sam Caldwell
8b67d0ba03
test on composing communication types
2021-04-22 11:45:09 -04:00
Sam Caldwell
8446a0d770
customize resugaring, clean up a bit
2020-12-11 16:39:59 -05:00
Sam Caldwell
a6fc1f20e4
get typed syndicate to work without using the stop list
2020-08-17 11:24:06 -04:00
Sam Caldwell
5c8986bddd
floating define test
2020-03-10 11:44:25 -04:00
Sam Caldwell
dca8ea2bad
Allow `define`d expressions to have effects
2020-03-10 11:44:25 -04:00
Sam Caldwell
480feb961c
improve spawn error messages
2020-03-10 11:44:24 -04:00
Sam Caldwell
dee43c7f19
fix typed `or`
2020-03-10 11:44:24 -04:00
Sam Caldwell
ab15f7306f
typed define/dataflow
2020-03-10 11:44:21 -04:00
Sam Caldwell
d9da970742
print types different
2020-03-10 11:44:13 -04:00
Sam Caldwell
7026d6908d
Use the communication type (via a turnstile `mode`) when elaborating
...
patterns in facets
2020-03-10 11:44:11 -04:00
Sam Caldwell
d91f13bd2c
some work towards a better pattern language
2020-03-10 11:44:10 -04:00
Sam Caldwell
adc0819be0
limited support for effect polymorphism
2020-03-10 11:44:09 -04:00
Sam Caldwell
cf2162797a
for/first
2020-03-10 11:44:09 -04:00
Sam Caldwell
b9e99fc8af
Make inference slightly more lenient wrt unions
...
some tests not working because of syntax-property failure
2020-03-10 11:44:08 -04:00
Sam Caldwell
f6976c0281
improve handling of type variables
2020-03-10 11:44:08 -04:00
Sam Caldwell
530c17ff32
split out core-expressions with #%app, which is now more explicit
2020-03-10 11:44:05 -04:00
Sam Caldwell
ed01517c8c
Improve scoping structure of for-clauses
2020-03-10 11:44:05 -04:00
Sam Caldwell
10ae47c26c
make list operations polymorphic functions
2020-03-10 11:44:05 -04:00
Sam Caldwell
9d5453ff5b
first take on local inference
2020-03-10 11:44:05 -04:00
Sam Caldwell
f6cd87394e
start on for loops
2020-03-10 11:44:04 -04:00
Sam Caldwell
39d81686fd
hash tables
2020-03-10 11:44:04 -04:00
Sam Caldwell
2ddafb240a
add sequences
2020-03-10 11:44:04 -04:00
Sam Caldwell
e88b64f5c1
allow polymorphic function definitions
2020-03-10 11:44:04 -04:00
Sam Caldwell
82705763b4
type abstractions
2020-03-10 11:44:04 -04:00
Sam Caldwell
a3380ea403
fixups for package installation
2019-08-26 11:08:30 -04:00