Each element of a list must be of the same type. Type
into Hope. The result is an error message
[1, false]
  (::) : alpha # list alpha -> list alpha
  1 : num
  [false] : list bool
type error - argument has wrong type
Sebastian Danicic BSc MSc PhD (Reader in Computer Science)
Dept of Computing, Goldsmiths, University of London, London SE14 6NW
Last updated 2010-12-29