mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-22 07:48:10 +03:00
Closed term hashing helper function
This commit is contained in:
parent
ee71f810d8
commit
44a9010c6b
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user