Re: Error: type mismatch: got but expression is of type: type Float32Sort

[Araq]

First thing I do is to check whether there is a duplicated `Float32Sort` 
definition due to an `include` file.