From f51d34710f67fc7c14147138fe00fe70b0e559cd Mon Sep 17 00:00:00 2001
From: eldesh <nephits@gmail.com>
Date: Fri, 8 Nov 2024 02:24:32 +0900
Subject: [PATCH] Fix: avoid parenthesis for primitive int and float

---
 src/types/mod.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/types/mod.rs b/src/types/mod.rs
index 9d8fc557..95ab8bf0 100644
--- a/src/types/mod.rs
+++ b/src/types/mod.rs
@@ -250,6 +250,8 @@ impl Type {
                 TypeBinding::Unbound(..) => TypePriority::MAX,
             },
             Function(_) => TypePriority::FUN,
+            TypeApplication(ctor, _) if ctor.is_polymorphic_int_type() => TypePriority::MAX,
+            TypeApplication(ctor, _) if ctor.is_polymorphic_float_type() => TypePriority::MAX,
             TypeApplication(ctor, _) => {
                 if ctor.is_pair_type() {
                     TypePriority::PAIR