Add Integer to list of primatives
commit1a82aaf7373836dcaaa5a1b6c5d671344ba72bc0
authorMatthew Pickering <matthewtpickering@gmail.com>
dateMon 26 Feb 2018, 17:00 (9 years ago)
parent409f3a3
src/Data/Generics/Product/Types.hs+1
@@ -73,6 +73,7 @@ type family Primitive a :: Bool where
7373 Primitive Int = 'True
7474 Primitive Char = 'True
7575 Primitive Bool = 'True
76+ Primitive Integer = 'True
7677 Primitive _ = 'False
7778 -- TODO: more primitives, or perhaps abstract from stop condition
7879