diff --git a/unison-core/src/Unison/Term.hs b/unison-core/src/Unison/Term.hs index ba00d9b27..1fdea46de 100644 --- a/unison-core/src/Unison/Term.hs +++ b/unison-core/src/Unison/Term.hs @@ -939,6 +939,9 @@ hashComponents :: Var v => Map v (Term v a) -> Map v (Reference.Id, Term v a) hashComponents = ReferenceUtil.hashComponents $ refId () +hashClosedTerm :: Var v => Term v a -> Reference.Id +hashClosedTerm tm = Reference.Id (ABT.hash tm) 0 1 + -- The hash for a constructor hashConstructor' :: (Reference -> ConstructorId -> Term0 Symbol) -> Reference -> ConstructorId -> Reference