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

Age	Commit message (Expand)	Author
2023-11-07	Type check resume statements properly	Michael Williamson
2023-11-07	Use type hint when typing expression of return statements	Michael Williamson
2023-11-07	Disallow returns in effect handlers	Michael Williamson
2023-11-07	Add (unsound) basic type-checking for resume statements	Michael Williamson
2023-11-07	Allow effects from outer scope in effect handler fields	Michael Williamson
2023-11-05	Rename handlers to handlerFields	Michael Williamson
2023-11-05	Type-check effect handler fields	Michael Williamson
2023-11-05	Introduce FieldInfo	Michael Williamson
2023-11-05	Add builder for NamespaceTypeInfo	Michael Williamson
2023-11-05	Throw error if handling field not on effect	Michael Williamson
2023-11-05	Move error to correct package	Michael Williamson
2023-11-05	Clarify test name	Michael Williamson
2023-11-05	Throw error if effect field is not handled	Michael Williamson
2023-11-05	Support accessing fields on effects	Michael Williamson
2023-11-05	Add builder for StructTypeInfo	Michael Williamson
2023-11-05	Check that handled effect is user-defined effect	Michael Williamson
2023-11-05	Add handled effect to try body effects	Michael Williamson
2023-11-05	Add tests for effects in try body	Michael Williamson
2023-11-05	Type check body of try node	Michael Williamson
2023-11-05	Prevent capturing of var	Michael Williamson
2023-11-04	Rename effect functions to effect fields	Michael Williamson
2023-11-04	Add effect info for user defined effects	Michael Williamson
2023-11-04	Create effect type when type checking effect definition node	Michael Williamson
2023-11-03	Implement subtyping for function types	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-11-01	Handle behaviour of if expressions properly	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	Throw appropriate error when param type cannot be inferred	Michael Williamson
2023-10-29	Infer named param types from hint	Michael Williamson
2023-10-29	Infer type of positional param from hint	Michael Williamson
2023-10-29	Pass hint when type checking expression	Michael Williamson
2023-10-29	Pass partial signature when type checking function body	Michael Williamson
2023-10-29	Make param type optional in typed AST	Michael Williamson
2023-10-29	Throw error if function definition is missing param type	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	Check use of block returns when inferring return types	Michael Williamson
2023-10-29	Infer return type of function expressions properly	Michael Williamson
2023-10-29	Support inferring return type from multiple return statements	Michael Williamson
2023-10-29	Support inferring return type from single return statement	Michael Williamson
2023-10-29	Throw error if function reaches end with inferred non-unit type	Michael Williamson