Minor simplification

This commit is contained in:
George Thomas 2026-02-19 16:26:10 +00:00
parent e977181252
commit 2a80e5b219

View File

@ -22,7 +22,7 @@ data T = T
, b :: Word8 , b :: Word8
} }
convertT :: T -> Raw.T convertT :: T -> Raw.T
convertT T{a, b} = Raw.T{a = CBool $ fromBool a, b} convertT T{a, b} = Raw.T{a = fromBool a, b}
data Shape data Shape
= Circle CDouble = Circle CDouble