diff --git a/parser-typechecker/src/Unison/Runtime/Pattern.hs b/parser-typechecker/src/Unison/Runtime/Pattern.hs index e598c1ed9..756176b35 100644 --- 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