compiler/lib/typechecker.ml:299 link doesn't update
compiler/lib/typechecker.ml:299 link doesn't update