From 7abf102e92d35e326b956b923ba3578eb0b04cd2 Mon Sep 17 00:00:00 2001
From: Chiri Vulpes <chiri@chiri.works>
Date: Tue, 24 Dec 2024 20:47:46 +1300
Subject: [PATCH] Allow coercing to decimals via + and -

---
 src/chc/type/ChiriTypeManager.ts | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/chc/type/ChiriTypeManager.ts b/src/chc/type/ChiriTypeManager.ts
index 89f7888..24b4dcc 100644
--- 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>> = {