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