I found an interesting case using Array::find. find has two function
signatures:
fun find[T, N] (eq:T->bool) (x:array[T, N]): opt[T]
fun find[T, N] (eq:T*T->bool) (x:array[T, N]) (e:T): opt[T]
This is all fine, except when the array you're working with is an array
of tuples, like this:
val args = (('foo', 'bar'), ('faa', 'fee'));
val x =
match find (fun (a:string*string) => let ?a, ?b in a == 'foo') args with
| Some (?a, ?b) => b
| None[string] => ''
endmatch
;
which, while it runs, prints out:
type of index with ts failed
How bad is it to do this, and what can be done to avoid that warning?
Finally, if this is going to be a real message, it should probably have
some more elaboration on what it means.
-e
-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
_______________________________________________
Felix-language mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/felix-language
