Add some pathological examples

polarity-lang / polarity

A Language with Dependent Data and Codata Types

https://polarity-lang.github.io

Apache License 2.0

57 stars 2 forks source link

Closed timsueberkrueb closed 1 month ago

timsueberkrueb commented 1 month ago

Hunting for bugs.

timsueberkrueb commented 1 month ago

Even crazier:

data Foo {
    A,
    B(y: C(B(A)).type),
    C(x: B(C(A)).type)
}

def Foo.type: Type {
    A => Foo,
    B(_) => Foo,
    C(_) => Foo,
}