Quiz #1 makeup starter code

code.rkt

#lang plait

(define-type Pokemon
  (pre-evo (name : String) (evo : Pokemon))
  (final-evo (name : String)))

(define-type-alias Pokedex (Listof Pokemon))

(define (get-name p)
  (type-case Pokemon p
    [(pre-evo n evo) n]
    [(final-evo n) n]))

; buggy implementation: fix this
(get-pre-evo : (String (Listof Pokemon) -> Pokemon))
(define (get-pre-evo pkmn dex)
  (type-case Pokedex dex 
    [empty (error 'NoPkmn "Not found")]
    [(cons p l) (if (equal? (get-name (pre-evo-evo p)) pkmn) p (get-pre-evo pkmn l))]))

; provide tests here