git.lukelau.me Git - scheme.git/search

2019-08-17	Luke Lau	Fix total pattern match verification	commit \| commitdiff \| tree
2019-08-17	Luke Lau	Store ADTs with only singletons in registers	commit \| commitdiff \| tree
2019-08-16	Luke Lau	Check for complete pattern matches	commit \| commitdiff \| tree
2019-08-16	Luke Lau	Add extra spicy test case	commit \| commitdiff \| tree
2019-08-16	Luke Lau	Fix typechecking with bindings	commit \| commitdiff \| tree
2019-08-15	Luke Lau	Start work on collecting all bindings when typechecking...	commit \| commitdiff \| tree
2019-08-15	Luke Lau	Add more complicated pattern matching test case	commit \| commitdiff \| tree
2019-08-15	Luke Lau	Fix bindings in ADT pattern matching codegen	commit \| commitdiff \| tree
2019-08-15	Luke Lau	Add case statement codegen and singleton ADTs	commit \| commitdiff \| tree
2019-08-15	Luke Lau	Handle pattern matching entire expressions	commit \| commitdiff \| tree
2019-08-15	Luke Lau	Add bindings to pattern matching in case statement...	commit \| commitdiff \| tree
2019-08-15	Luke Lau	Fix up typechecking of case	commit \| commitdiff \| tree
2019-08-15	Luke Lau	WIP on typechecking case statements	commit \| commitdiff \| tree
2019-08-14	Luke Lau	Start work on case statements	commit \| commitdiff \| tree
2019-08-14	Luke Lau	Flesh out stack values within ADTs	commit \| commitdiff \| tree
2019-08-14	Luke Lau	Fix typo	commit \| commitdiff \| tree
2019-08-14	Luke Lau	Fix typo	commit \| commitdiff \| tree
2019-08-14	Luke Lau	Can now pass about adts stored on the stack	commit \| commitdiff \| tree
2019-08-13	Luke Lau	Move utils into its onw file	commit \| commitdiff \| tree
2019-08-13	Luke Lau	Check for let pattern matches that they have only one sum	commit \| commitdiff \| tree
2019-08-13	Luke Lau	Update main.scm to properly read in multi-expression...	commit \| commitdiff \| tree
2019-08-13	Luke Lau	Check for the right number of bindings in pattern matching	commit \| commitdiff \| tree
2019-08-12	Luke Lau	Move expanding pattern matches to its own transformations	commit \| commitdiff \| tree
2019-08-12	Luke Lau	ADT codegen working for simple types	commit \| commitdiff \| tree
2019-08-06	Luke Lau	A bit more work on ADT codegen	commit \| commitdiff \| tree
2019-08-06	Luke Lau	Denormalize the type annotated ast, and tag stack values	commit \| commitdiff \| tree
2019-08-06	Luke Lau	Annotate ast with types for adt codegen	commit \| commitdiff \| tree
2019-08-04	Luke Lau	Formulate destructors properly	commit \| commitdiff \| tree
2019-08-04	Luke Lau	Fix let-bindings	commit \| commitdiff \| tree
2019-08-04	Luke Lau	Fix flat-map	commit \| commitdiff \| tree
2019-08-04	Luke Lau	Merge branch 'master' of lukelau.me:/srv/git/scheme	commit \| commitdiff \| tree
2019-08-04	Luke Lau	Add test case	commit \| commitdiff \| tree
2019-08-02	Luke Lau	Remove redundant range definition	commit \| commitdiff \| tree
2019-08-02	Luke Lau	WIP in let-binding pattern match stuff	commit \| commitdiff \| tree
2019-08-02	Luke Lau	Start work on ADTs	commit \| commitdiff \| tree
2019-08-02	Luke Lau	Tidy up	commit \| commitdiff \| tree
2019-08-01	Luke Lau	Add clash constraints when merging	commit \| commitdiff \| tree
2019-08-01	Luke Lau	WIP on typechecker refactor	commit \| commitdiff \| tree
2019-07-30	Luke Lau	Fix starting off with the wrong stack index	commit \| commitdiff \| tree
2019-07-30	Luke Lau	Make base pointer to point to the previous frames base...	commit \| commitdiff \| tree
2019-07-30	Luke Lau	Add notes on typechecking	commit \| commitdiff \| tree
2019-07-30	Luke Lau	Merge branch 'master' of lukelau.me:/srv/git/scheme	commit \| commitdiff \| tree
2019-07-30	Luke Lau	Add support for recursive let binding codegen	commit \| commitdiff \| tree
2019-07-30	Luke Lau	Add notes on ownership	commit \| commitdiff \| tree
2019-07-30	Luke Lau	Add pow test	commit \| commitdiff \| tree
2019-07-29	Luke Lau	Add a test for equality	commit \| commitdiff \| tree
2019-07-29	Luke Lau	Reset label and lambda counters on compile	commit \| commitdiff \| tree
2019-07-29	Luke Lau	Fix = codegen	commit \| commitdiff \| tree
2019-07-29	Luke Lau	Fix graph not considering original binds when recursing	commit \| commitdiff \| tree
2019-07-29	Luke Lau	Update recursive test to simpler example	commit \| commitdiff \| tree
2019-07-29	Luke Lau	Substitute constraints after recursive call	commit \| commitdiff \| tree
2019-07-29	Luke Lau	Add ast-find	commit \| commitdiff \| tree
2019-07-29	Luke Lau	Refactor unify	commit \| commitdiff \| tree
2019-07-29	Luke Lau	Always use PIC for static string codegen	commit \| commitdiff \| tree
2019-07-29	Luke Lau	Start thinking about heap allocation	commit \| commitdiff \| tree
2019-07-29	Luke Lau	Add dodgy uname based host OS detection	commit \| commitdiff \| tree
2019-07-28	Luke Lau	Substitute only the variables in the scc	commit \| commitdiff \| tree
2019-07-28	Luke Lau	Break up lets into SCCs before typechecking	commit \| commitdiff \| tree
2019-07-28	Luke Lau	Add some documentation to the abi	commit \| commitdiff \| tree
2019-07-27	Luke Lau	Add a bunch more tests	commit \| commitdiff \| tree
2019-07-27	Luke Lau	Fill in missing builtin lambda info	commit \| commitdiff \| tree
2019-07-27	Luke Lau	Fix overwriting preserved base pointer in prolog	commit \| commitdiff \| tree
2019-07-27	Luke Lau	Add new test	commit \| commitdiff \| tree
2019-07-27	Luke Lau	Allocate and pass closures on the heap	commit \| commitdiff \| tree
2019-07-24	Luke Lau	Merge branch 'master' of lukelau.me:/srv/git/scheme	commit \| commitdiff \| tree
2019-07-24	Luke Lau	More WIP on closures	commit \| commitdiff \| tree
2019-07-24	Luke Lau	Add WIP on passing about closures	commit \| commitdiff \| tree
2019-07-24	Luke Lau	Allocate heap at the start	commit \| commitdiff \| tree
2019-07-24	Luke Lau	Fix string addressing and clobbered register	commit \| commitdiff \| tree
2019-07-24	Luke Lau	Fix static string addressing	commit \| commitdiff \| tree
2019-07-23	Luke Lau	Add darwin target support	commit \| commitdiff \| tree
2019-07-23	Luke Lau	Make the ABI respect stack etc.	commit \| commitdiff \| tree
2019-07-23	Luke Lau	Update main for codegen changes	commit \| commitdiff \| tree
2019-07-23	Luke Lau	Add strings and print primitive	commit \| commitdiff \| tree
2019-07-23	Luke Lau	Remove C dependency, directly emit _start	commit \| commitdiff \| tree
2019-07-23	Luke Lau	Codegen if statements	commit \| commitdiff \| tree
2019-07-23	Luke Lau	Add ast-traverse helper	commit \| commitdiff \| tree
2019-07-22	Luke Lau	Refactor ast "pattern matching" to a single function	commit \| commitdiff \| tree
2019-07-22	Luke Lau	Add recursive let-bindings	commit \| commitdiff \| tree
2019-07-22	Luke Lau	Fix some normalization issues, add codegen tests	commit \| commitdiff \| tree
2019-07-22	Luke Lau	First pass at lambdas and closures	commit \| commitdiff \| tree
2019-07-21	Luke Lau	Add pretty printing for types	commit \| commitdiff \| tree
2019-07-21	Luke Lau	Add more binary ops	commit \| commitdiff \| tree
2019-07-20	Luke Lau	Resolve types in lambda arguments, recursively substitute	commit \| commitdiff \| tree
2019-07-20	Luke Lau	Normalize lambdas to be single arguments only	commit \| commitdiff \| tree
2019-07-17	Luke Lau	Split out compiler into codegen and main	commit \| commitdiff \| tree
2019-07-17	Luke Lau	Fix up codegen-add for vars	commit \| commitdiff \| tree
2019-07-17	Luke Lau	Add let bindings	commit \| commitdiff \| tree
2019-07-17	Luke Lau	Add .gitignore	commit \| commitdiff \| tree
2019-07-17	Luke Lau	Add consolidation, tie up with typechecker	commit \| commitdiff \| tree
2019-07-17	Luke Lau	Start typechecker	commit \| commitdiff \| tree

Statically typed functional language, to be named

RSS Atom