stranal/sigs/UnsatFun

[Richard Eisenberg]

Hi devs,

On my kind=type branch (D808), I have this test failure for stranal/sigs/UnsatFun:

==================== Strictness signatures ====================
 UnsatFun.$trModule: m
 UnsatFun.f: <B,1*U(U)><B,A>b
-UnsatFun.g: <B,1*U(U)>b
-UnsatFun.g': <L,1*U(U)>
+UnsatFun.g: <L,U(U)>
+UnsatFun.g': <L,U(U)>
 UnsatFun.g3: <L,U(U)>m
-UnsatFun.h: <C(S),1*C1(U(U))>
-UnsatFun.h2: <S,1*U><L,1*C1(U(U))>
-UnsatFun.h3: <C(S),1*C1(U)>m
+UnsatFun.h: <S,1*U>
+UnsatFun.h2: <S,1*U><L,1*U>
+UnsatFun.h3: <S,1*U>m
*** unexpected failure for UnsatFun(optasm)


I haven't any clue what this means. Is it bad? Is it good? Any pointers?

Thanks!
Richard