never executed always true always false

    1 module Tarefa1_2017li1g186 where
    2 
    3 import LI11718
    4 
    5 testesT1 :: [Caminho]
    6 testesT1 = []
    7 
    8 constroi :: Caminho -> Mapa
    9 constroi c = undefined