always print the W64 coercion

should make things less mysterious when debugging arithmetic
mit-pdos · May 9, 2024 · ee8d8a8 · ee8d8a8
1 parent 572c417
commit ee8d8a8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/goose_lang/notation.v b/src/goose_lang/notation.v
@@ -14,6 +14,7 @@ Global Open Scope Z. (* Make sure everyone gets this scope. *)
    ambiguous paths between Z and base_lit.
  *)
 Coercion W64 : Z >-> u64.
+Add Printing Coercion W64.
 
 Coercion LitBool : bool >-> base_lit.
 Coercion LitLoc : loc >-> base_lit.