index
:
shed-lang.git
main
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
main
/
java
Age
Commit message (
Expand
)
Author
2023-11-07
Handle handler method signature properly
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
Use type hint when typing expression of return statements
Michael Williamson
2023-11-07
Disallow returns in effect handlers
Michael Williamson
2023-11-07
Set ReturnTypeState in PartialFunctionSignature
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
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
Type check body of try node
Michael Williamson
2023-11-05
Prevent capturing of var
Michael Williamson
2023-11-04
Add typed try node
Michael Williamson
2023-11-04
Use new reversed() method on List
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
Update UserDefinedEffect to be consistent with StructType et al
Michael Williamson
2023-11-03
Implement subtyping for function types
Michael Williamson
2023-11-03
Add user defined effects to type system
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-02
Add resume keyword
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-31
Add keyword handle
Michael Williamson
2023-10-31
Add try keyword
Michael Williamson
2023-10-29
Remove unsafe functions
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
[prev]
[next]