From eacdb8a593af255c3eaa995e09128842d01bd8b1 Mon Sep 17 00:00:00 2001
From: Deukhoofd <deukhoofd@gmail.com>
Date: Sun, 22 Sep 2019 16:46:31 +0200
Subject: [PATCH] Add information about whether we know a numeric script type
 is a float in GetBoundTreeString()

---
 src/ScriptTypes/ScriptType.cpp | 16 ++++++++++++++++
 src/ScriptTypes/ScriptType.hpp |  2 ++
 2 files changed, 18 insertions(+)

diff --git a/src/ScriptTypes/ScriptType.cpp b/src/ScriptTypes/ScriptType.cpp
index f83819c..b9ce364 100644
--- a/src/ScriptTypes/ScriptType.cpp
+++ b/src/ScriptTypes/ScriptType.cpp
@@ -13,6 +13,7 @@ namespace Porygon{
     shared_ptr<const NumericScriptType> NumericScriptType::AwareInt = make_shared<const NumericScriptType>(true, false);
     shared_ptr<const NumericScriptType> NumericScriptType::AwareFloat = make_shared<const NumericScriptType>(true, true);
     shared_ptr<const NumericScriptType> NumericScriptType::Unaware = make_shared<const NumericScriptType>(false, false);
+
     shared_ptr<const StringScriptType> StringScriptType::Dynamic = make_shared<const StringScriptType>(false,
             Utilities::HashedString::CreateLookup(0));
 
@@ -84,6 +85,21 @@ namespace Porygon{
         return ToString(this->_class);
     }
 
+    string NumericScriptType::ToString() const {
+        std::stringstream ss;
+        ss << "numeric ";
+        if (this->_awareOfFloat && _isFloat){
+            ss << "(Known float)";
+        }
+        else if (this ->_awareOfFloat && !_isFloat){
+            ss << "(Known integer)";
+        }
+        else{
+            ss << "(Unknown)";
+        }
+        return ss.str();
+    }
+
     bool ScriptType::IsCountable() const {
         return false;
     }
diff --git a/src/ScriptTypes/ScriptType.hpp b/src/ScriptTypes/ScriptType.hpp
index f626ad7..62844a7 100644
--- a/src/ScriptTypes/ScriptType.hpp
+++ b/src/ScriptTypes/ScriptType.hpp
@@ -125,6 +125,8 @@ namespace Porygon{
             }
             return ScriptType::CastableTo(castType, explicitCast);
         }
+
+        string ToString() const override;
     };
 
     class StringScriptType : public ScriptType{