Marc Weber wrote:
Very often you can get close by aksing the compiler to give hints. Eg by
let
f :: string -> int = fun x -> x * x
in f 20
you see that string doesn't match the integer/float operation.
So the compiler will tell about a missmatch talking about what it
expects.
Given David's problem, it should be even simpler to include a signature
entry for the function in the .urs file, giving it type [int]. The
compiler will surely complain about that and give the proper type.
BTW, readers should keep in mind that Marc's example above isn't using
valid Ur/Web syntax. ;)
David, if you are having trouble writing your function in the first
place, not just determining its type, feel free to ask again with more
problem detail.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
