Add missing case for PEq to expandDo in DSL.hs
commit96f4c54b9d16bb33f4af71569523eb1954416179
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 29 Jul 2013, 19:49 (13 years ago)
parent86914e3
src/Idris/DSL.hs+1
@@ -31,6 +31,7 @@ expandDo dsl (PApp fc t args) = PApp fc (expandDo dsl t)
3131 (map (fmap (expandDo dsl)) args)
3232expandDo dsl (PCase fc s opts) = PCase fc (expandDo dsl s)
3333 (map (pmap (expandDo dsl)) opts)
34+expandDo dsl (PEq fc l r) = PEq fc (expandDo dsl l) (expandDo dsl r)
3435expandDo dsl (PPair fc l r) = PPair fc (expandDo dsl l) (expandDo dsl r)
3536expandDo dsl (PDPair fc l t r) = PDPair fc (expandDo dsl l) (expandDo dsl t)
3637 (expandDo dsl r)