From 2b1562d33bb9496aa449ef9d52735af0ec61c15c Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Sat, 9 Nov 2024 11:34:04 +0100 Subject: Some more primitive operators --- src/AST/Types.hs | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/AST/Types.hs') diff --git a/src/AST/Types.hs b/src/AST/Types.hs index a3e5080..5688277 100644 --- a/src/AST/Types.hs +++ b/src/AST/Types.hs @@ -93,3 +93,10 @@ type family ScalIsNumeric t where ScalIsNumeric TF32 = True ScalIsNumeric TF64 = True ScalIsNumeric TBool = False + +type family ScalIsFloating t where + ScalIsFloating TI32 = False + ScalIsFloating TI64 = False + ScalIsFloating TF32 = True + ScalIsFloating TF64 = True + ScalIsFloating TBool = False -- cgit v1.2.3-70-g09d2