diff options
Diffstat (limited to 'src/AST/Types.hs')
| -rw-r--r-- | src/AST/Types.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/AST/Types.hs b/src/AST/Types.hs index c8515fc..efb1e04 100644 --- a/src/AST/Types.hs +++ b/src/AST/Types.hs @@ -73,7 +73,6 @@ type SMTy :: Ty -> Type data SMTy t where SMTNil :: SMTy TNil SMTPair :: SMTy a -> SMTy b -> SMTy (TPair a b) - -- TODO: call this SMTLEither SMTLEither :: SMTy a -> SMTy b -> SMTy (TLEither a b) SMTMaybe :: SMTy a -> SMTy (TMaybe a) SMTArr :: SNat n -> SMTy t -> SMTy (TArr n t) |