From 39d596f3b98770fbb4f3bf3faa610bcf07c67866 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Stefan=20H=C3=B6ck?= <hock@zhaw.ch>
Date: Tue, 29 Jun 2021 19:58:41 +0000
Subject: [PATCH] [ new ] Support reflecting on new intX types (#1642)

---
 libs/base/Language/Reflection/TT.idr | 16 ++++++++++++----
 1 file changed, 12 insertions(+), 4 deletions(-)

diff --git a/libs/base/Language/Reflection/TT.idr b/libs/base/Language/Reflection/TT.idr
index 0aedfa00d..ba25024b9 100644
--- a/libs/base/Language/Reflection/TT.idr
+++ b/libs/base/Language/Reflection/TT.idr
@@ -68,10 +68,14 @@ public export
 data Constant
     = I Int
     | BI Integer
-    | B8 Int
-    | B16 Int
-    | B32 Int
-    | B64 Integer
+    | I8 Int8
+    | I16 Int16
+    | I32 Int32
+    | I64 Int64
+    | B8 Bits8
+    | B16 Bits16
+    | B32 Bits32
+    | B64 Bits64
     | Str String
     | Ch Char
     | Db Double
@@ -79,6 +83,10 @@ data Constant
 
     | IntType
     | IntegerType
+    | Int8Type
+    | Int16Type
+    | Int32Type
+    | Int64Type
     | Bits8Type
     | Bits16Type
     | Bits32Type