projects / scheme.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d0e9f52) | patch
Substitute only the variables in the scc
authorLuke Lau <luke_lau@icloud.com>
Sun, 28 Jul 2019 23:40:30 +0000 (00:40 +0100)
committerLuke Lau <luke_lau@icloud.com>
Sun, 28 Jul 2019 23:40:30 +0000 (00:40 +0100)
commitb35e568b559038a7b848f81c70ec50753dc3f736
tree13504039d69131691eec060b2537aed494aec66ftree | snapshot
parentd0e9f5296b7510fe057be4a2f9e2a31ed856652ccommit | diff
Substitute only the variables in the scc

This preserves the most generic possible type

Also add a test for type equality (unifies, but only type variable
substitutions)
Fix graph when there's no bindings
tests.scm diff | blob | history
typecheck.scm diff | blob | history
Statically typed functional language, to be named