diff options
Diffstat (limited to 'src/AST.hs')
| -rw-r--r-- | src/AST.hs | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -147,6 +147,7 @@ data SOp a t where OLe :: SScalTy a -> SOp (TPair (TScal a) (TScal a)) (TScal TBool) OEq :: SScalTy a -> SOp (TPair (TScal a) (TScal a)) (TScal TBool) ONot :: SOp (TScal TBool) (TScal TBool) + OIf :: SOp (TScal TBool) (TEither TNil TNil) deriving instance Show (SOp a t) opt2 :: SOp a t -> STy t @@ -158,6 +159,7 @@ opt2 = \case OLe _ -> STScal STBool OEq _ -> STScal STBool ONot -> STScal STBool + OIf -> STEither STNil STNil typeOf :: Expr x env t -> STy t typeOf = \case |