TypeAlias3.scl

   1 type IntegerList = [Integer]
   2 type DoubleList = [Double]
   3
   4 convert :: IntegerList -> DoubleList
   5 convert v = v
   6
   7 main = "Not to be executed."
   8 --
   9 5:13-5:14: Expected <[Double]> got <[Integer]>.