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 _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
