~thon/thon

fdf02b3cd21e1b079a9bf193a94efcfee4720ed6 — Evan Bergeron 8 months ago c07f56c
setDeBruijnIndexInType for impl type annotation
1 files changed, 1 insertions(+), 1 deletions(-)

M thon.sml
M thon.sml => thon.sml +1 -1
@@ 269,7 269,7 @@ fun setDeBruijnIndex e varnames typnames =
       | A.Impl (reprType, pkgImpl, pkgType) =>
            A.Impl(setDeBruijnIndexInType reprType varnames typnames,
                   setDeBruijnIndex pkgImpl varnames typnames,
                   pkgType)
                   setDeBruijnIndexInType pkgType varnames typnames)
       | _ => raise Unimplemented (* TODO *)
end