projects
/
scheme.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Fix up typechecking of case
[scheme.git]
/
tests.scm
2019-08-14
Luke Lau
Start work on case statements
blob
|
commitdiff
|
raw
2019-08-14
Luke Lau
Flesh out stack values within ADTs
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Luke Lau
Can now pass about adts stored on the stack
blob
|
commitdiff
|
raw
|
diff to current
2019-08-13
Luke Lau
Move utils into its onw file
blob
|
commitdiff
|
raw
|
diff to current
2019-08-13
Luke Lau
Check for let pattern matches that they have only one sum
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
A bit more work on ADT codegen
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-04
Luke Lau
Add test case
blob
|
commitdiff
|
raw
|
diff to current
2019-08-02
Luke Lau
Start work on ADTs
blob
|
commitdiff
|
raw
|
diff to current
2019-08-01
Luke Lau
WIP on typechecker refactor
blob
|
commitdiff
|
raw
|
diff to current
2019-07-30
Luke Lau
Merge branch 'master' of lukelau.me:/srv/git/scheme
blob
|
commitdiff
|
raw
|
diff to current
2019-07-30
Luke Lau
Add support for recursive let binding codegen
blob
|
commitdiff
|
raw
|
diff to current
2019-07-30
Luke Lau
Add pow test
blob
|
commitdiff
|
raw
|
diff to current
2019-07-29
Luke Lau
Add a test for equality
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
Update recursive test to simpler example
blob
|
commitdiff
|
raw
|
diff to current
2019-07-29
Luke Lau
Add dodgy uname based host OS detection
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-27
Luke Lau
Add a bunch more tests
blob
|
commitdiff
|
raw
|
diff to current
2019-07-27
Luke Lau
Add new test
blob
|
commitdiff
|
raw
|
diff to current
2019-07-24
Luke Lau
Merge branch 'master' of lukelau.me:/srv/git/scheme
blob
|
commitdiff
|
raw
|
diff to current
2019-07-24
Luke Lau
Add WIP on passing about closures
blob
|
commitdiff
|
raw
|
diff to current
2019-07-23
Luke Lau
Add darwin target support
blob
|
commitdiff
|
raw
|
diff to current
2019-07-23
Luke Lau
Make the ABI respect stack etc.
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
Remove C dependency, directly emit _start
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
Fix some normalization issues, add codegen tests
blob
|
commitdiff
|
raw
|
diff to current
2019-07-20
Luke Lau
Resolve types in lambda arguments, recursively substitute
blob
|
commitdiff
|
raw
|
diff to current