bd26521 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Fix reflection of NativeTy values

commitbd265215b69eb551802216ea9845a5216a059aa1 authorMelvar Chen <Melvar.Chen@googlemail.com> dateMon 25 Jan 2016, 15:51 (11 years ago) parente81cb80

1 file changed+4−4

unifiedsplit

src/Idris/Reflection.hs+4−4

@@ -364,10 +364,10 @@ reifyArithTy (P _ n _) | n == reflm "ATDouble" = return ATFloat

364364reifyArithTy x = fail ("Couldn't reify reflected ArithTy: " ++ show x)

365365

366366reifyNativeTy :: Term -> ElabD NativeTy

367−reifyNativeTy (P _ n _) | n == reflm "IT8" = return IT8

368−reifyNativeTy (P _ n _) | n == reflm "IT8" = return IT8

369−reifyNativeTy (P _ n _) | n == reflm "IT8" = return IT8

370−reifyNativeTy (P _ n _) | n == reflm "IT8" = return IT8

367+reifyNativeTy (P _ n _) | n == reflm "IT8" = return IT8

368+reifyNativeTy (P _ n _) | n == reflm "IT16" = return IT16

369+reifyNativeTy (P _ n _) | n == reflm "IT32" = return IT32

370+reifyNativeTy (P _ n _) | n == reflm "IT64" = return IT64

371371reifyNativeTy x = fail $ "Couldn't reify reflected NativeTy " ++ show x

372372

373373reifyIntTy :: Term -> ElabD IntTy