search

mattiasw2 / teyjus

Automatically exported from code.google.com/p/teyjus
GNU General Public License v3.0
0 stars 0 forks source link

Incorrect error messages when there are several type variables #74

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
The following code:

==========================
kind pair type -> type -> type.

type pr A -> B -> pair A B.
type p (pair int string) -> o.

% Instead of p (pr 3 "abc").
p 3 "abc".
==========================

Gives the following error:

Error : clash in operator and operand types
    expected operand type: (pair string int)
    actual operand type: int
    in expression: p 3

Notice that the order of arguments for the pair is reversed.

Original issue reported on code.google.com by fafounet@gmail.com on 12 Jul 2013 at 12:29

GoogleCodeExporter commented 9 years ago 
Fixed by commit 1105

Original comment by fafounet@gmail.com on 16 Jul 2013 at 8:39