You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
> data Person = Person {name :: String, age :: Integer}
> p = Person {name = "John", age = 12}
Error found:
in module $PSCI
at :1:5 - 1:37 (line 1, column 5 - line 1, column 37)
Could not match type
Record
with type
Function
{ age :: Integer
, name :: List Char
}
while trying to match type { age :: t1
, name :: t0
| t2
}
with type { age :: Integer
, name :: List Char
}
-> Person
while checking that expression $0
has type { age :: t1
, name :: t0
| t2
}
in value declaration p
where t2 is an unknown type
t0 is an unknown type
t1 is an unknown type
The text was updated successfully, but these errors were encountered:
The text was updated successfully, but these errors were encountered: