@@ -90,7 +90,7 @@ matchSingle pat exp@(C t s _) p =
91 PData _ ps -> do x <- guid
91 PData _ ps -> do x <- guid
92 let v = '_' : show x
92 let v = '_' : show x
93− dss <- mapM (matchSingle p . ctx $ Var v) ps
93+ dss <- mapM (matchSingle pat . ctx $ Var v) ps
94 return (FnDef v [] exp : concat dss)
94 return (FnDef v [] exp : concat dss)