deep-hash -> hash

Author: andrew4328

BOOTSTRAP/cli.c

@@ -0,0 +1,17 @@
+
+let hash(t: AST): U64 = (
+   match t {
+      Meta{ val=val } => hash(val) + 123;
+      ASTEOF{} => 456;
+      ASTNil{} => 789;
+      App{ is-cons=is-cons, left=left, right=right } => hash(is-cons) + hash(left) + hash(right);
+      Var{ key1=key, token=token } => hash(key1);
+      Lit{ key2=key, token=token } => hash(key2);
+      Abs{ lhs=lhs, rhs=rhs, tt=tt } => hash(lhs) + hash(rhs) + hash(tt);
+      AType{ tt=tt } => hash(tt);
+      Seq{ seq=seq } => hash(seq);
+      Glb{ key3=key, val=val } => 012 + hash(val);
+      Typedef{ lhs-type=lhs-type, implies=implies, implements=implements, size=size, alias=alias, opaque-alias=opaque-alias } => 
+      hash(lhs-type) + hash(implies) + hash(implements) + hash(size) + hash(alias) + hash(opaque-alias);
+   }
+);

SRC/ast-deep-hash.lsts

@@ -0,0 +1,13 @@
+
+let hash(tt: Type): U64 = (
+   match tt {
+      TAny{} => 0_u64;
+      TVar{name=name} => hash(name);
+      TAnd{conjugate=conjugate} => (
+         let result = 0_u64;
+         for vector c in conjugate { result = result + hash(c) };
+         result
+      );
+      TGround{tag=tag,parameters=parameters} => hash(tag) + hash(parameters);
+   }
+);

SRC/ast-hash.lsts

@@ -30,4 +30,4 @@ import SRC/ast-acontext-union.lsts;
 import SRC/ast-substitute-uuids.lsts;
 import SRC/ast-acontext-to-string.lsts;
 import SRC/ast-unroll-seq.lsts;
-import SRC/ast-deep-hash.lsts;
+import SRC/ast-hash.lsts;

SRC/type-deep-hash.lsts

@@ -22,7 +22,7 @@ import SRC/type-remove-info.lsts;
 import SRC/type-ground-tag-and-arity.lsts;
 import SRC/type-into-string.lsts;
 import SRC/type-is-any-arg-t.lsts;
-import SRC/type-deep-hash.lsts;
+import SRC/type-hash.lsts;
 import SRC/type-cons-root.lsts;
 import SRC/type-sanitize-phi.lsts;
 import SRC/type-without-phi.lsts;

SRC/type-hash.lsts

@@ -1,6 +1,5 @@
 
 import lib/core/bedrock.lsts;
-import lib/core/compiler-only.lsts;
 
 let safe-alloc-block-count = 0;
 

SRC/unit-ast-core.lsts

@@ -14,6 +14,3 @@ import lib/core/list.lsts;
 import lib/core/s.lsts;
 import lib/core/hashtable.lsts;
 import lib/core/regex.lsts;
-
-# TODO: remove after V3 release
-let deep-hash(x: t): U64 = hash(x);