never executed always true always false

    1 module Tarefa2_2017li1g186 where
    2 
    3 import LI11718
    4 
    5 testesT2 :: [Tabuleiro]
    6 testesT2 = []
    7 
    8 valida :: Mapa -> Bool
    9 valida m = undefined