diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-04-29 17:52:43 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-04-29 17:52:43 +0200 |
| commit | 4ad7eaba73d5fda8ff5028d1e53966f728d704d3 (patch) | |
| tree | bb8126c9eee53d565f2c3a86fe70f914548c3782 /src/AST | |
| parent | 0a32a06b9c3206484c34860148dfbe23935b8e3b (diff) | |
simplify: Better simplify nested monoid ops
Diffstat (limited to 'src/AST')
| -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) |