I noticed this a while ago in ATS2 (just verified in Temptory).
It seems that call-by-reference functions in record definitions cause
issues with template dispatch.
The following will fail to compile ( no match for `do_something` ) --
changing the signature of `foo.f` to `(int) -> void` will compile
successfully.
#include "share/HATS/temptory_staload_bucs320.hats"
typedef foo = @{
f = (&int) -> void
}
extern
fun {a:vtflt} do_something( a ) : void
impltmp
do_something<foo>( x ) =
let
var z : int = 0
in x.f(z)
end
implfun main0()
= println!("Hello [test0]")
where {
var ff : foo = (@{
f = lam(x) => println!(x)
}): foo
val () = do_something<foo>(ff)
}
I've been using abstract types / casting as a work-around.
--
You received this message because you are subscribed to the Google Groups
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/1a050c00-e9ff-4a44-a8cd-4b227db55d35%40googlegroups.com.
