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