diff options
Diffstat (limited to 'src/AST.hs')
| -rw-r--r-- | src/AST.hs | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -150,6 +150,8 @@ data SOp a t where OEq :: ScalIsNumeric a ~ True => SScalTy a -> SOp (TPair (TScal a) (TScal a)) (TScal TBool) ONot :: SOp (TScal TBool) (TScal TBool) OIf :: SOp (TScal TBool) (TEither TNil TNil) + ORound64 :: SOp (TScal TF64) (TScal TI64) + OToFl64 :: SOp (TScal TI64) (TScal TF64) deriving instance Show (SOp a t) opt2 :: SOp a t -> STy t @@ -162,6 +164,8 @@ opt2 = \case OEq _ -> STScal STBool ONot -> STScal STBool OIf -> STEither STNil STNil + ORound64 -> STScal STI64 + OToFl64 -> STScal STF64 typeOf :: Expr x env t -> STy t typeOf = \case |