Allow coercing to decimals via + and -

fluff4me · Dec 24, 2024 · 7abf102 · 7abf102
1 parent fa150dc
commit 7abf102
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/chc/type/ChiriTypeManager.ts b/src/chc/type/ChiriTypeManager.ts
@@ -127,6 +127,8 @@ const binaryOperatorOperandCoercion: Partial<Record<Operator, string | BinaryCoe
 	".": "string",
 }
 const unaryOperatorOperandCoercion: Partial<Record<Operator, string>> = {
+	"+": "dec",
+	"-": "dec",
 }
 
 const operatorOperandBTypes: Partial<Record<Operator, string>> = {