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
Age
Commit message (
Expand
)
Author
2023-10-01
Remove spurious test
Michael Williamson
2023-10-01
Narrow type in when case bodies
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
Check type of when expression
Michael Williamson
2023-10-01
Add basic type checking for when expressions
Michael Williamson
2023-10-01
Extract duplicated typeCheckNamespaceStatement() function
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
Declare sum types
Michael Williamson
2023-09-30
Parse when expressions
Michael Williamson
2023-09-30
Parse sum types
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
Generate stack IR for struct definition
Michael Williamson
2023-09-28
Relax type
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
Check for namespace name when defining struct
Michael Williamson
2023-09-28
Attach source to all compiler errors
Michael Williamson
2023-09-28
Define struct type info earlier
Michael Williamson
2023-09-28
Check struct type info is present
Michael Williamson
2023-09-28
Check field exists on receiver type
Michael Williamson
2023-09-28
Check type of receiver in field access
Michael Williamson
2023-09-28
Basic type checking for field access
Michael Williamson
2023-09-28
Add struct type info during type checking
Michael Williamson
2023-09-28
Check structs can have mutually recursive fields
Michael Williamson
2023-09-28
Add struct type to context
Michael Williamson
2023-09-28
Type check struct definition fields
Michael Williamson
2023-09-28
Add basic type checking for struct definitions
Michael Williamson
2023-09-27
Parse struct definition fields
Michael Williamson
2023-09-27
Parse struct without fields
Michael Williamson
2023-09-27
Parse field access
Michael Williamson
2023-09-27
Support ignore target
Michael Williamson
2023-09-26
Generate code for zero-element tuple without alloc
Michael Williamson
[next]