def plan.skip

bolt@1.27.0.0 · src/syntax/bind.bend:426

import Base

426# the mode the rest is read in after a head that means nothing in this mode
427def plan.skip(mode: Mode) -> Mode:
428  match mode:
429    case MBlock{}:
430      MStop{}
431    case MCtors{}:
432      MStop{}
433    case MCtor{}:
434      MSig{}
435    case MHead{}:
436      MHead{}
437    case MName{}:
438      MSig{}
439    case MSig{}:
440      MTerm{}
441    case MTele{kind}:
442      MTele{kind}
443    case MTeleType{kind}:
444      MTeleType{kind}
445    case MLhs{outer, kind}:
446      MLhs{outer, kind}
447    case MLhsType{outer}:
448      MLhsType{outer}
449    case MTerm{}:
450      MTerm{}
451    case MSkip{next}:
452      next
453    case MStop{}:
454      MStop{}