projects / scheme.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91145e5) | patch
Break up lets into SCCs before typechecking
authorLuke Lau <luke_lau@icloud.com>
Sun, 28 Jul 2019 22:56:37 +0000 (23:56 +0100)
committerLuke Lau <luke_lau@icloud.com>
Sun, 28 Jul 2019 22:56:37 +0000 (23:56 +0100)
commitd0e9f5296b7510fe057be4a2f9e2a31ed856652c
tree15068b3188113683cd4282daf2929c1de56a2d26tree | snapshot
parent91145e54f41ee88f1e279a80430b3f5ed4e7a8c6commit | diff
Break up lets into SCCs before typechecking

This means each binding gets the most general type possible.
Part of the work towards supporting typechecking recursive functions
ast.scm diff | blob | history
codegen.scm diff | blob | history
tests.scm diff | blob | history
typecheck.scm diff | blob | history
Statically typed functional language, to be named