rzk-0.11.0: test/typecheck/cases/ill-match-cannot-infer.rzk
#lang rzk-1 #data nat := zero | suc (n : nat) -- a match without "into" needs a checking position; #compute infers #compute match zero (zero ⇒ zero | suc k ih ⇒ k)
#lang rzk-1 #data nat := zero | suc (n : nat) -- a match without "into" needs a checking position; #compute infers #compute match zero (zero ⇒ zero | suc k ih ⇒ k)