projects
/
scheme.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Fix total pattern match verification
[scheme.git]
/ typecheck.scm
2019-08-17
Luke Lau
Store ADTs with only singletons in registers
commit
|
commitdiff
2019-08-16
Luke Lau
Fix typechecking with bindings
commit
|
commitdiff
2019-08-15
Luke Lau
Start work on collecting all bindings when typechecking...
commit
|
commitdiff
2019-08-15
Luke Lau
Fix bindings in ADT pattern matching codegen
commit
|
commitdiff
2019-08-15
Luke Lau
Handle pattern matching entire expressions
commit
|
commitdiff
2019-08-15
Luke Lau
Add bindings to pattern matching in case statement...
commit
|
commitdiff
2019-08-15
Luke Lau
Fix up typechecking of case
commit
|
commitdiff
2019-08-15
Luke Lau
WIP on typechecking case statements
commit
|
commitdiff
2019-08-13
Luke Lau
Check for the right number of bindings in pattern matching
commit
|
commitdiff
2019-08-12
Luke Lau
Move expanding pattern matches to its own transformations
commit
|
commitdiff
2019-08-12
Luke Lau
ADT codegen working for simple types
commit
|
commitdiff
2019-08-06
Luke Lau
Denormalize the type annotated ast, and tag stack values
commit
|
commitdiff
2019-08-06
Luke Lau
Annotate ast with types for adt codegen
commit
|
commitdiff
2019-08-04
Luke Lau
Formulate destructors properly
commit
|
commitdiff
2019-08-04
Luke Lau
Merge branch 'master' of lukelau.me:/srv/git/scheme
commit
|
commitdiff
2019-08-02
Luke Lau
Start work on ADTs
commit
|
commitdiff
2019-08-02
Luke Lau
Tidy up
commit
|
commitdiff
2019-08-01
Luke Lau
Add clash constraints when merging
typechecker-refactor
commit
|
commitdiff
2019-08-01
Luke Lau
WIP on typechecker refactor
commit
|
commitdiff
2019-07-29
Luke Lau
Fix graph not considering original binds when recursing
commit
|
commitdiff
2019-07-29
Luke Lau
Substitute constraints after recursive call
commit
|
commitdiff
2019-07-29
Luke Lau
Refactor unify
commit
|
commitdiff
2019-07-28
Luke Lau
Substitute only the variables in the scc
commit
|
commitdiff
2019-07-28
Luke Lau
Break up lets into SCCs before typechecking
commit
|
commitdiff
2019-07-23
Luke Lau
Add strings and print primitive
commit
|
commitdiff
2019-07-23
Luke Lau
Codegen if statements
commit
|
commitdiff
2019-07-22
Luke Lau
Refactor ast "pattern matching" to a single function
commit
|
commitdiff
2019-07-22
Luke Lau
Fix some normalization issues, add codegen tests
commit
|
commitdiff
2019-07-21
Luke Lau
Add pretty printing for types
commit
|
commitdiff
2019-07-21
Luke Lau
Add more binary ops
commit
|
commitdiff
2019-07-20
Luke Lau
Resolve types in lambda arguments, recursively substitute
commit
|
commitdiff
2019-07-20
Luke Lau
Normalize lambdas to be single arguments only
commit
|
commitdiff
2019-07-17
Luke Lau
Add let bindings
commit
|
commitdiff
2019-07-17
Luke Lau
Add consolidation, tie up with typechecker
commit
|
commitdiff
2019-07-17
Luke Lau
Start typechecker
commit
|
commitdiff