ref: c08505fb46fd8cdfee6b6f425709e5bc536f6a75
dir: /test/compoundimpl.myr/
use std
trait frobable @a =
frob : (val : @a -> void)
;;
impl frobable int# =
frob = {val
std.put("intptr,")
}
;;
impl frobable char# =
frob = {val
std.put("charptr\n")
}
;;
generic foo = {x : @a::frobable
frob(x)
}
const main = {
var a = 123
var b = 'c'
foo(&a)
foo(&b)
}