Errors

Each element of a list must be of the same type. Type
[1,false]
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



s.danicic@gold.ac.uk
Sebastian Danicic BSc MSc PhD (Reader in Computer Science)
Dept of Computing, Goldsmiths, University of London, London SE14 6NW
Last updated 2010-12-29