3 ms·
Ah, yes, there's a problem with `Float`s in Haskell. There should be no `Eq Float` instance. Standard ML handles this properly: > map Math.acos [2.0] = map
by catnaroek 10y ago
Ah, yes, there's a problem with `Float`s in Haskell. There should be no `Eq Float` instance. Standard ML handles this properly:
> map Math.acos [2.0] = map Math.acos [2.0];
poly: : error: Type error in function application.
Function: = : ''a * ''a -> bool
Argument: (map Math.acos [2.0], map Math.acos [2.0]) :
real list * real list
Reason: Can't unify ''a to real list (Requires equality type)
Found near map Math.acos [2.0] = map Math.acos [2.0]
Static Errors