shed-lang.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author
2023-11-20	Introduce explicit notion of a BoundVariable	Michael Williamson
2023-11-11	Generate stack IR for effect definition	Michael Williamson
2023-11-08	Clarify typing around handler methods	Michael Williamson
2023-11-07	Rename effect field to effect method	Michael Williamson
2023-11-07	Rename effect fields to effect methods	Michael Williamson
2023-11-07	Generate stack IR for resume statements	Michael Williamson
2023-11-07	Type check resume statements properly	Michael Williamson
2023-11-07	Add (unsound) basic type-checking for resume statements	Michael Williamson
2023-11-05	Rename handlers to handlerFields	Michael Williamson
2023-11-05	Type-check effect handler fields	Michael Williamson
2023-11-05	Type check body of try node	Michael Williamson
2023-11-04	Rename effect functions to effect fields	Michael Williamson
2023-11-04	Create effect type when type checking effect definition node	Michael Williamson
2023-11-02	Parse unit literals	Michael Williamson
2023-11-02	Add type checking for unit literal	Michael Williamson
2023-11-02	Support type-checking return statements with no expression	Michael Williamson
2023-11-02	Add typed unit node	Michael Williamson
2023-11-02	Parse return statements without expression	Michael Williamson
2023-11-02	Allow resume statements without expression	Michael Williamson
2023-11-02	Parse resume statements	Michael Williamson
2023-11-02	Parse try expressions	Michael Williamson
2023-10-31	Parse effect functions	Michael Williamson
2023-10-31	Parse effect visibility	Michael Williamson
2023-10-31	Parse empty effect definitions	Michael Williamson
2023-10-29	Make param type optional in typed AST	Michael Williamson
2023-10-29	Parse params without types	Michael Williamson
2023-10-29	Add separate type for named params in function type	Michael Williamson
2023-10-29	Throw error if function reaches end with inferred non-unit type	Michael Williamson
2023-10-29	Make return type optional in typed function signature node	Michael Williamson
2023-10-29	Remove type from typed function signature node	Michael Williamson
2023-10-29	Parse function signatures without return type	Michael Williamson
2023-10-28	Type check function expressions	Michael Williamson
2023-10-28	Introduce TypedFunctionBodyNode	Michael Williamson
2023-10-25	Extract tests for type-checking function signatures	Michael Williamson
2023-10-25	Introduce TypedFunctionSignatureNode	Michael Williamson
2023-10-25	Introduce UntypedFunctionSignatureNode	Michael Williamson
2023-10-24	Type check return type of function type	Michael Williamson
2023-10-24	Parse function expressions	Michael Williamson
2023-10-22	Parse function types	Michael Williamson
2023-10-22	Parse visibility for sum type	Michael Williamson
2023-10-22	Add visibility for structs	Michael Williamson
2023-10-22	Add explicit visibility	Michael Williamson
2023-10-22	Parse visibility for vals	Michael Williamson
2023-10-22	Parse visibility of functions	Michael Williamson
2023-10-21	Generate stack IR for imports	Michael Williamson
2023-10-21	Add imports as bound variables	Michael Williamson
2023-10-21	Add imports to typed namespace node	Michael Williamson
2023-10-20	Support import of namespaces in type checker	Michael Williamson
2023-10-20	Parse imports in namespace	Michael Williamson
2023-10-01	Generate stack IR for when expressions	Michael Williamson