cosmetic improvement to output

ericbodden · ericbodden · commit 237d413d3160 · 2026-03-30T16:30:15.000+02:00
diff --git a/src/main/kotlin/dsl/ConstantHandler.kt b/src/main/kotlin/dsl/ConstantHandler.kt
@@ -99,7 +99,7 @@ class ConstantHandler<T>(private val lattice: Lattice<T>) {
      */
     fun process(dest: FAIRAccessPath?, constant: Constant): List<FAIRStmt> {
         val abstractValue = mapConstant(constant) ?: return emptyList()
-        val op = SetValueOp(abstractValue, "CONST($constant)")
+        val op = SetValueOp(abstractValue, "LIFT($constant → $abstractValue)")
         return listOf(FAIR.FAIRApplyStmt(dest, DslOperator(op), emptyList()))
     }
 

Original file line number	Diff line number	Diff line change
`@@ -99,7 +99,7 @@ class ConstantHandler<T>(private val lattice: Lattice<T>) {`
`99`	`99`	`*/`
`100`	`100`	`fun process(dest: FAIRAccessPath?, constant: Constant): List<FAIRStmt> {`
`101`	`101`	`val abstractValue = mapConstant(constant) ?: return emptyList()`
`102`		`- val op = SetValueOp(abstractValue, "CONST($constant)")`
	`102`	`+ val op = SetValueOp(abstractValue, "LIFT($constant → $abstractValue)")`
`103`	`103`	`return listOf(FAIR.FAIRApplyStmt(dest, DslOperator(op), emptyList()))`
`104`	`104`	`}`
`105`	`105`