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-22
Forbid leading zeroes in int literal
Michael Williamson
2023-10-22
Add proper description of function type
Michael Williamson
2023-10-22
Parse function types
Michael Williamson
2023-10-22
Parse visibility for sum type
Michael Williamson
2023-10-22
Add visibility for structs
Michael Williamson
2023-10-22
Add explicit visibility
Michael Williamson
2023-10-22
Parse visibility for vals
Michael Williamson
2023-10-22
Parse visibility of functions
Michael Williamson
2023-10-21
Generate stack IR for field access on namespace
Michael Williamson
2023-10-21
Generate stack IR for imports
Michael Williamson
2023-10-21
Add imports as bound variables
Michael Williamson
2023-10-21
Fix name of matcher
Michael Williamson
2023-10-21
Add imports to typed namespace node
Michael Williamson
2023-10-21
Use custom matcher
Michael Williamson
2023-10-21
Support type checking field access on namespace
Michael Williamson
2023-10-20
Support import of namespaces in type checker
Michael Williamson
2023-10-20
Parse imports in namespace
Michael Williamson
2023-10-08
Support Patio switch in WASM code gen
Michael Williamson
2023-10-08
Support Patio switch with reachable default in LLVM code gen
Michael Williamson
2023-10-08
Use LlvmVariableLocal for labels
Michael Williamson
2023-10-08
Fix serialization of LLVM switch instruction
Michael Williamson
2023-10-08
Add LLVM switch instruction
Michael Williamson
2023-10-08
Add test for Patio switches
Michael Williamson
2023-10-08
Generate Patio code for stack IR switch instruction
Michael Williamson
2023-10-08
Add Patio switch instruction
Michael Williamson
2023-10-08
Assign tags to structs
Michael Williamson
2023-10-08
Fix typo
Michael Williamson
2023-10-01
Generate stack IR for when expressions
Michael Williamson
2023-10-01
Ensure variants are structs
Michael Williamson
2023-10-01
Add switch instruction to stack IR
Michael Williamson
2023-10-01
Add LLVM unreachable 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
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
[prev]
[next]