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-10-01
Correct comment
Michael Williamson
2023-10-01
Fix javadoc paragraph
Michael Williamson
2023-10-01
Generate LLVM IR for Patio unreachable instruction
Michael Williamson
2023-10-01
Add LLVM unreachable instruction
Michael Williamson
2023-10-01
Generate WASM for Patio unreachable instruction
Michael Williamson
2023-10-01
Add unreachable WASM instruction
Michael Williamson
2023-10-01
Add unreachable instruction to Patio
Michael Williamson
2023-10-01
Compile sum type definition to stack IR
Michael Williamson
2023-10-01
Fix compilation errors
Michael Williamson
2023-10-01
Hoist sum type definitions
Michael Williamson
2023-10-01
Narrow type in when case bodies
Michael Williamson
2023-10-01
Remove completed TODO
Michael Williamson
2023-10-01
Check for duplicate cases
Michael Williamson
2023-10-01
Check variant is valid
Michael Williamson
2023-10-01
Check all variants are handled
Michael Williamson
2023-10-01
Check when expression is instance of sum type
Michael Williamson
2023-10-01
Add basic type checking for when expressions
Michael Williamson
2023-10-01
Remove alloc-stack instruction
Michael Williamson
2023-09-30
Add subtyping for sum types
Michael Williamson
2023-09-30
Add type info for sum types
Michael Williamson
2023-09-30
Use TypeInfos as builder in TypeCheckerContext
Michael Williamson
2023-09-30
Construct typed node for sum type definitions
Michael Williamson
2023-09-30
Add subtyping for bottom type
Michael Williamson
2023-09-30
Extract and test isSubType()
Michael Williamson
2023-09-30
Handle dependencies for sum type definition
Michael Williamson
2023-09-30
Declare sum types
Michael Williamson
2023-09-30
Add SumType
Michael Williamson
2023-09-30
Parse when expressions
Michael Williamson
2023-09-30
Parse sum types
Michael Williamson
2023-09-30
Add untyped sum type node
Michael Williamson
2023-09-30
Add sumtype keyword
Michael Williamson
2023-09-28
Hoist structs
Michael Williamson
2023-09-28
Handle definition of struct when checking dependencies
Michael Williamson
2023-09-28
Extract FieldsInfo
Michael Williamson
2023-09-28
Add Patio code gen for struct field accesses
Michael Williamson
2023-09-28
Generate Patio code for defining structs
Michael Williamson
2023-09-28
Add TODO
Michael Williamson
2023-09-28
Generate stack IR for struct definition
Michael Williamson
2023-09-28
Store struct type instead of name in typed struct definition node
Michael Williamson
2023-09-28
Add define-struct instruction
Michael Williamson
2023-09-28
Generate stack IR for field accesses
Michael Williamson
2023-09-28
Add struct receiver for field loads
Michael Williamson
2023-09-28
Create separate notion of receiver for FieldLoadInstruction
Michael Williamson
2023-09-28
Pluralise type info collection
Michael Williamson
2023-09-28
Support calling struct types
Michael Williamson
2023-09-28
Flip condition
Michael Williamson
2023-09-28
Extract receiverTypeToFunctionType()
Michael Williamson
2023-09-28
Use orElseThrow() instead of get()
Michael Williamson
2023-09-28
Remove unnecessary Optional.get()
Michael Williamson
2023-09-28
Use orElseThrow() instead of get()
Michael Williamson
[prev]
[next]