Properly handle boolean patterns in the new runtime

2024-09-24 00:39:58 +03:00 · 2021-02-10 16:00:10 -05:00 · 2021-02-10 16:00:10 -05:00 · e5d98a2b76
commit e5d98a2b76
parent beec380cd2
1 changed files with 4 additions and 0 deletions
--- a/parser-typechecker/src/Unison/Runtime/Pattern.hs
+++ b/parser-typechecker/src/Unison/Runtime/Pattern.hs
@ -145,6 +145,10 @@ decomposePattern
  :: Var v
  => Reference -> Int -> Int -> P.Pattern v
  -> [[P.Pattern v]]
+decomposePattern rf0 t _       (P.Boolean _ b)
+  | rf0 == Rf.booleanRef
+  , t == if b then 1 else 0
+  = [[]]
 decomposePattern rf0 t nfields p@(P.Constructor _ rf u ps)
  | t == u
  , rf0 == rf