never executed always true always false

    1 {-|
    2 Module      : Tarefa4_2017li1g186
    3 Description : Módulo da Tarefa 4 para LI1 17/18
    4 
    5 Módulo para a realização da Tarefa 4 de LI1 em 2017/18.
    6 -}
    7 module Tarefa4_2017li1g186 where
    8 
    9 import LI11718
   10 
   11 {-|
   12 O testes a serem considerados pelo sistema de /feedback/
   13 para a função 'atualiza'.
   14 -}
   15 testesT4 :: [(Tempo,Jogo,Acao)]
   16 testesT4 = []
   17 
   18 {-|
   19 Função usada para atualizar o estado do jogo dadas as
   20 ações de um jogador num determinado período de tempo.
   21 -}
   22 atualiza :: Tempo -- ^ a duração da ação
   23          -> Jogo  -- ^ o estado do jogo
   24          -> Int   -- ^ o identificador do jogador
   25          -> Acao  -- ^ a ação tomada pelo jogador
   26          -> Jogo  -- ^ o estado atualizado do jogo
   27 atualiza t e j a = undefined