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
/
test
/
java
/
org
Age
Commit message (
Expand
)
Author
2023-11-19
Use iterable instead of stream
Michael Williamson
2023-11-19
Add data-ptr to Patio data layouts
Michael Williamson
2023-11-19
Rename addField to addMethod
Michael Williamson
2023-11-18
Generate stack IR for effect field access
Michael Williamson
2023-11-18
Add effect as receiver in stack IR
Michael Williamson
2023-11-12
Compile try node into stack IR
Michael Williamson
2023-11-12
Narrow handled effect type in TypedTryNode
Michael Williamson
2023-11-11
Add try instruction
Michael Williamson
2023-11-11
Add builder for DefineFunctionInstruction
Michael Williamson
2023-11-11
Generate stack IR for effect definition
Michael Williamson
2023-11-11
Extract LlvmBackend.link()
Michael Williamson
2023-11-11
Extract WasmBackend.link()
Michael Williamson
2023-11-11
Create single runtime target directory
Michael Williamson
2023-11-11
Build wasm runtime using meson
Michael Williamson
2023-11-11
Use meson instead of CMake
Michael Williamson
2023-11-08
Clarify typing around handler methods
Michael Williamson
2023-11-07
Use explicit resume type
Michael Williamson
2023-11-07
Add define-effect instruction
Michael Williamson
2023-11-07
Rename effect field to effect method
Michael Williamson
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
Fix name of test
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
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
[prev]
[next]