blob: bb1c2f85ead906984ec3db7a862b5e5a665559bb (
plain) (
blame)
1
2
3
4
5
6
7
8
|
object Crash {
type mul[m[n[s[_], z], z], n[s[_], z], z] = m[n, z]
type _1[s1[_], z1] = s1[z1]
type _2[s1[_], z1] = s1[z1]
type p = mul[_1, _2, Any] // mul[_1, _1, Any] needs -Yrecursion
// _1[_2, Zero]
// _2[Zero]
}
|