Prepare UnboundP as VarP once more

- This was a mistaken attempt to fix the default case in some
  situations, but it has been fixed in other ways now, and interacts
  inappropriately with some other pattern compilation code.
This commit is contained in:
Dan Doel 2020-06-18 14:59:05 -04:00
parent 4cd3187354
commit b96badda2e

View File

@ -240,7 +240,7 @@ prepareAs (SequenceOpP _ p op q) u = do
prepareAs p u = pure $ u <$ p
preparePattern :: Var v => PatternP a -> PPM v (PatternV v)
preparePattern (UnboundP _) = UnboundP <$> freshVar
preparePattern (UnboundP _) = VarP <$> freshVar
preparePattern (VarP _) = VarP <$> useVar
preparePattern (AsP _ p) = prepareAs p =<< useVar
preparePattern p = prepareAs p =<< freshVar