git.iko.soy/Idris-dev
on master help sign in
Add missing case for PEq to expandDo in DSL.hs
96f4c54Edwin Brady
src/Idris/DSL.hs+1
compare with master
unifiedsplit
@@ -31,6 +31,7 @@ expandDo dsl (PApp fc t args) = PApp fc (expandDo dsl t)
31 (map (fmap (expandDo dsl)) args)
31 (map (fmap (expandDo dsl)) args)
32expandDo dsl (PCase fc s opts) = PCase fc (expandDo dsl s)
32expandDo dsl (PCase fc s opts) = PCase fc (expandDo dsl s)
33 (map (pmap (expandDo dsl)) opts)
33 (map (pmap (expandDo dsl)) opts)
34+expandDo dsl (PEq fc l r) = PEq fc (expandDo dsl l) (expandDo dsl r)
34expandDo dsl (PPair fc l r) = PPair fc (expandDo dsl l) (expandDo dsl r)
35expandDo dsl (PPair fc l r) = PPair fc (expandDo dsl l) (expandDo dsl r)
35expandDo dsl (PDPair fc l t r) = PDPair fc (expandDo dsl l) (expandDo dsl t)
36expandDo dsl (PDPair fc l t r) = PDPair fc (expandDo dsl l) (expandDo dsl t)
36 (expandDo dsl r)
37 (expandDo dsl r)