rzk-0.11.4: test/typecheck/cases/ill-match-modal-hit.rzk

#lang rzk-1

#data S1 := base | loop : base =_{S1} base

#define modal-match-hit (x :_b S1) : Unit
  := match _b x
       (base => unit
       | loop => unit)