You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Appears to require at least one of them to be defined in DSSL2 code (i.e, not built in).
#lang dssl2
class NotVec[K]:
def __init__(self):
pass
# this works
def foo(x: NotVec?):
pass
foo(NotVec[VecC[num?]]())
# this works too
def foo2(x: NotVec?[num?]):
pass
foo2(NotVec[num?]())
# this does not, contract violation
def foo3(x: NotVec?[VecC[num?]]):
pass
foo3(NotVec[VecC[num?]]())
# this also works, different higher-order contract
def bar (x: FunC[num?, num?]):
pass
bar(λ x: x)
The text was updated successfully, but these errors were encountered:
Appears to require at least one of them to be defined in DSSL2 code (i.e, not built in).
The text was updated successfully, but these errors were encountered: