From: Luke Lau <luke_lau@icloud.com>
Date: Sun, 28 Jul 2019 23:40:30 +0000 (+0100)
Subject: Substitute only the variables in the scc
X-Git-Url: http://git.lukelau.me/?a=commitdiff_plain;h=b35e568b559038a7b848f81c70ec50753dc3f736;hp=b35e568b559038a7b848f81c70ec50753dc3f736;p=scheme.git

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
---