Erasure should ignore Type*/UniqueType
commite6235ef8fe762fae15e0f65961788591f5e8184c
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 19 Feb 2015, 19:55 (12 years ago)
parent4d1759e
src/Idris/Erasure.hs+1
@@ -468,6 +468,7 @@ buildDepMap ci used ctx mainName = addPostulates used $
468468 -- the easy cases
469469 getDepsTerm vs bs cd (Constant _) = M.empty
470470 getDepsTerm vs bs cd (TType _) = M.empty
471+ getDepsTerm vs bs cd (UType _) = M.empty
471472 getDepsTerm vs bs cd Erased = M.empty
472473 getDepsTerm vs bs cd Impossible = M.empty
473474