История изменений

Исправление hateyoufeel, 28.10.14 03:30 (текущая версия) :

То же самое.

Prelude> let x = [1,2] :: (Num [t], Num t) => [[t]]

<interactive>:2:18:
    Non type-variable argument in the constraint: Num [t]
    (Use FlexibleContexts to permit this)
    In an expression type signature: (Num [t], Num t) => [[t]]
    In the expression: [1, 2] :: (Num [t], Num t) => [[t]]
    In an equation for ‘x’: x = [1, 2] :: (Num [t], Num t) => [[t]]

Хотя оригинальный код тоже валится с этой ошибкой, если вручную указать тип.

Исходная версия hateyoufeel, 28.10.14 03:27:

То же самое.

Prelude> let x = [1,2] :: (Num [t], Num t) => [[t]]

<interactive>:2:18:
    Non type-variable argument in the constraint: Num [t]
    (Use FlexibleContexts to permit this)
    In an expression type signature: (Num [t], Num t) => [[t]]
    In the expression: [1, 2] :: (Num [t], Num t) => [[t]]
    In an equation for ‘x’: x = [1, 2] :: (Num [t], Num t) => [[t]]