Open bitonic opened 10 years ago
For example, if we're unifying foo x = true, and foo : Bool -> Bool, we should wait for foo to be defined rather than failing immeditely.
foo x = true
foo : Bool -> Bool
foo
For example, if we're unifying
foo x = true, andfoo : Bool -> Bool, we should wait forfooto be defined rather than failing immeditely.