def int_defect

bend-schema-lib@0.4.1.0 · core.bend:985

import Base

985# The same two reasons at an SInt and an SIntIn: a number of either sign is not
986# the defect, and its bound is the defect only where the path ends.
987def int_defect(r: Raw, p: List<&2, Step>) -> Maybe<&2, Why>:
988  match r p:
989    case RNum{n} _:
990      None{}
991    case RNeg{n} _:
992      None{}
993    case x Nil{}:
994      Some{missing_or(x, NotInt{})}
995    case x st <> q:
996      None{}