git.iko.soy/Idris-dev
on master help sign in
Fix reflection of NativeTy values
bd26521Melvar Chen
src/Idris/Reflection.hs+4−4
compare with master
unifiedsplit
@@ -364,10 +364,10 @@ reifyArithTy (P _ n _) | n == reflm "ATDouble" = return ATFloat
364reifyArithTy x = fail ("Couldn't reify reflected ArithTy: " ++ show x)
364reifyArithTy x = fail ("Couldn't reify reflected ArithTy: " ++ show x)
365
365
366reifyNativeTy :: Term -> ElabD NativeTy
366reifyNativeTy :: Term -> ElabD NativeTy
367−reifyNativeTy (P _ n _) | n == reflm "IT8" = return IT8
367+reifyNativeTy (P _ n _) | n == reflm "IT8" = return IT8
368−reifyNativeTy (P _ n _) | n == reflm "IT8" = return IT8
368+reifyNativeTy (P _ n _) | n == reflm "IT16" = return IT16
369−reifyNativeTy (P _ n _) | n == reflm "IT8" = return IT8
369+reifyNativeTy (P _ n _) | n == reflm "IT32" = return IT32
370−reifyNativeTy (P _ n _) | n == reflm "IT8" = return IT8
370+reifyNativeTy (P _ n _) | n == reflm "IT64" = return IT64
371reifyNativeTy x = fail $ "Couldn't reify reflected NativeTy " ++ show x
371reifyNativeTy x = fail $ "Couldn't reify reflected NativeTy " ++ show x
372
372
373reifyIntTy :: Term -> ElabD IntTy
373reifyIntTy :: Term -> ElabD IntTy