syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
1,530 Commits 30 Branches 3 Tags 44 MiB
Commit Graph

24 Commits

Author SHA1 Message Date
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 26f15564f1 wip on addying var asserts to SPIN 2023-02-10 16:46:11 -05:00
Sam Caldwell 3801174525 add WritesField effect 2023-02-10 16:46:11 -05:00
Sam Caldwell e514453a12 start on type-varying asserts 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 e4ca56a002 fix bug in polymorphic defns I introduced 2023-02-10 16:46:11 -05:00
Sam Caldwell 8af4464443 working version of with-facets 2023-02-10 16:46:11 -05:00
Sam Caldwell 0d839cbb12 wip on with-facets 2023-02-10 16:46:11 -05:00
Sam Caldwell 7a50ed2f5e wip on with-facets 2023-02-10 16:46:11 -05: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 fc038877f5 typed: fix required struct type constructors to know their arity 2022-03-23 12:27:03 -04:00
Sam Caldwell 384d0dbdc1 typed: allow struct imports in require/typed 2022-03-16 13:07:23 -04:00
Sam Caldwell 06aa3690c7 typed: introduce default naming convention for constructor types 2022-03-16 12:04:50 -04:00
Sam Caldwell 6058330961 typed: convenience constructor for subscription types, Observe★ 2022-03-16 11:25:07 -04:00
Sam Caldwell b4497f1623 typed: add some quasisyntax/loc 2022-03-07 12:33:15 -05:00
Sam Caldwell 50cac93e1e bug fix: allow 0-ary structs 2022-02-23 11:49:36 -05:00
Sam Caldwell 4f6089c805 more docs and cleanup 2021-05-04 17:15:34 -04:00
Sam Caldwell 09ce074125 work on typed syndicate docs 2021-05-03 14:59:14 -04:00
Sam Caldwell 3f6a5573e4 Allow importing structs without accessors and opaque external types 2021-04-27 16:51:28 -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 59183b5fe9 reorganize typed syndicate project structure 2021-04-21 10:39:30 -04:00
Renamed from racket/typed/core-types.rkt (Browse further)