So, I've been encountering this "unsolved constraint for termetric being
well-founded" error message, and I'm not sure how to fix it. Does this
mean that I'm not being strict enough with types?
Here's my code:
absvt@ype mesh
assume mesh =
[v,t:nat]
[vl,tl:addr]
@{
v=int v, t=int t, vap=arrayptr(vertex, vl, v), tap=arrayptr(uint32, tl, t)
}
implement mesh_print ( m ) = let
fun vert_print_loop {i,j:int | 0 <= i+1; i+1 <= j} .<i>. ( i: int i,
v_arr: &(arrayptr(vertex, j)) ): void =
if not(i < 0) then begin
vertex_print(v_arr[i]);
vert_print_loop(i-1, v_arr)
end else ()
fun tri_print_loop {i,j:int | 0 <= i+1; i+1 <= j} .<i>. ( i: int i,
t_arr: &(arrayptr(uint32, j)) ): void =
if not(i < 0) then begin
println!(t_arr[i]);
tri_print_loop(i-1, t_arr)
end else ()
in
println!("Num Verts: ", m.v);
vert_print_loop(m.v-1, m.vap);
println!("Num Tris: ", m.t);
println!("Triangle Indicies");
tri_print_loop(m.t-1, m.tap)
end
Here's the errors:
patscc -tcats /home/tmj90/Goldelish-Engine/source/g_engine.dats
/home/tmj90/Goldelish-Engine/source/g_engine.dats: 67738(line=2381,
offs=54) -- 67904(line=2385, offs=16): error(3): unsolved constraint for
termetric being well-founded: C3NSTRprop(C3TKtermet_isnat();
S2Eapp(S2Ecst(gte_int_int); S2Evar(i(8786)), S2Eint(0)))
/home/tmj90/Goldelish-Engine/source/g_engine.dats: 67957(line=2386,
offs=53) -- 68118(line=2390, offs=16): error(3): unsolved constraint for
termetric being well-founded
typechecking has failed: there are some unsolved constraints: please
inspect the above reported error message(s) for information.
exit(ATS): uncaught exception:
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_error_2esats__FatalErrorExn(1025)
Please ask if you need any additional information.
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/442cef10-e62a-4873-96d9-00cec346390dn%40googlegroups.com.
