baffling error: "expected fn() -> native but found fn() -> native (types differ)" #1029

elly · 2011-10-12T04:55:36Z

Test case at http://www.leptoquark.net/~elly/ncurses-question-t.tar produces the following output when compiled:

./ncurses.rs:33:37: 33:52 error: mismatched types: expected fn() -> native but found fn() -> native (types differ)
./ncurses.rs:33 fn keypad(v : int) { _native::keypad(_native::stdscr, v); }
^~~~~~~~~~~~~~~
error: aborting due to previous errors
rt: ---
rt: c6da:main:main: upcall fail 'explicit failure', ../src/comp/driver/session.rs:67
rt: c6da:main: domain main @0x9097718 root task failed
make: *** [libncurses.so] Error 101

Error messages claiming that x != x should be illegal :).

marijnh · 2011-10-12T05:59:40Z

The native type is different, but all native types are currently printed the same way.

marijnh · 2012-01-26T08:50:57Z

This no longer happens.

…g#1029) * Add support to mim_specialization for arbitrary / invariant We would like to enable users to provide custom implementations of Invariant and Arbitrary. Use feature `min_specialization` to allow that. Note that users will also need to enable that same feature in their code.

marijnh closed this as completed Jan 26, 2012

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

baffling error: "expected fn() -> native but found fn() -> native (types differ)" #1029

baffling error: "expected fn() -> native but found fn() -> native (types differ)" #1029

elly commented Oct 12, 2011

marijnh commented Oct 12, 2011

marijnh commented Jan 26, 2012

baffling error: "expected fn() -> native but found fn() -> native (types differ)" #1029

baffling error: "expected fn() -> native but found fn() -> native (types differ)" #1029

Comments

elly commented Oct 12, 2011

marijnh commented Oct 12, 2011

marijnh commented Jan 26, 2012