Add basic causation info to graph

Fundament-Software · Jan 10, 2025 · 67049f9 · 67049f9
1 parent a330f7f
commit 67049f9
Show file tree

Hide file tree

Showing 3 changed files with 111 additions and 61 deletions.
diff --git a/alicorn-expressions.lua b/alicorn-expressions.lua
@@ -456,7 +456,7 @@ local function speculate_pi_type(env, metaval)
 			env.typechecking_context,
 			pi,
 			env.typechecking_context,
-			"Speculating on pi type"
+			terms.constraintcause.primitive("Speculating on pi type", nil)
 		)
 
 		return pi
@@ -1166,7 +1166,7 @@ collect_tuple = metalanguage.reducer(
 				env.typechecking_context,
 				goal_type,
 				env.typechecking_context,
-				"tuple type in collect_tuple"
+				terms.constraintcause.primitive("tuple type in collect_tuple", nil)
 			)
 			return true, checkable_term.tuple_cons(collected_terms), env
 		else