git.iko.soy/Idris-dev
on master help sign in
Properly reify reflected character constants
56869f6David Raymond Christiansen
src/Idris/Reflection.hs+1−1
compare with master
unifiedsplit
@@ -333,7 +333,7 @@ reifyTTConstApp f (Constant c@(BI _))
333 | f == reflm "BI" = return $ c
333 | f == reflm "BI" = return $ c
334reifyTTConstApp f (Constant c@(Fl _))
334reifyTTConstApp f (Constant c@(Fl _))
335 | f == reflm "Fl" = return $ c
335 | f == reflm "Fl" = return $ c
336−reifyTTConstApp f (Constant c@(I _))
336+reifyTTConstApp f (Constant c@(Ch _))
337 | f == reflm "Ch" = return $ c
337 | f == reflm "Ch" = return $ c
338reifyTTConstApp f (Constant c@(Str _))
338reifyTTConstApp f (Constant c@(Str _))
339 | f == reflm "Str" = return $ c
339 | f == reflm "Str" = return $ c