diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-04-29 20:37:06 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-04-29 20:38:05 +0200 |
| commit | d0eb9a1edfb4233d557d954f46685f25382234d8 (patch) | |
| tree | 04eb5a746258fcaa2a3b98228c6eadb2b0178ba3 /src/CHAD.hs | |
| parent | 4ad7eaba73d5fda8ff5028d1e53966f728d704d3 (diff) | |
Reorder TLEither to after TEither
Diffstat (limited to 'src/CHAD.hs')
| -rw-r--r-- | src/CHAD.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CHAD.hs b/src/CHAD.hs index ac308ac..3a7b907 100644 --- a/src/CHAD.hs +++ b/src/CHAD.hs @@ -484,6 +484,7 @@ accumPromote pdty (descr `DPush` (t :: STy t, vid, sto)) k = case sto of STNil -> True STPair a b -> isDiscrete a && isDiscrete b STEither a b -> isDiscrete a && isDiscrete b + STLEither a b -> isDiscrete a && isDiscrete b STMaybe a -> isDiscrete a STArr _ a -> isDiscrete a STScal st -> case st of @@ -493,7 +494,6 @@ accumPromote pdty (descr `DPush` (t :: STy t, vid, sto)) k = case sto of STF64 -> False STBool -> True STAccum{} -> False - STLEither a b -> isDiscrete a && isDiscrete b ---------------------------- RETURN TRIPLE FROM CHAD --------------------------- |