Compiler.NormalizationBudget

76def finishNormalizationCostWord =
77  (lambda unrestricted result : (family IntegerLiteralResult) .
78    (eliminate
79      IntegerLiteralResult
80      (lambda unrestricted current : (family IntegerLiteralResult) .
81        (family NormalizationCostResult))
82      result
83      (branch
84        IntegerLiteralWord
85        width
86        sign
87        bytesLE
88        .
89        (eliminate
90          DataBytesWord32ExactDecodeResult
91          (lambda unrestricted current : (family DataBytesWord32ExactDecodeResult) .
92            (family NormalizationCostResult))
93          (Std.Word/stdU32DecodeLEExact bytesLE)
94          (branch
95            DataBytesWord32ExactlyDecoded
96            word
97            telemetry
98            .
99            (constructor NormalizationCostResult NormalizationCostWord word))
100          (branch
101            DataBytesWord32ExactDecodeFailed
102            error
103            telemetry
104            .
105            (constructor NormalizationCostResult NormalizationCostInvalid))))
106      (branch
107        IntegerLiteralFailed
108        failure
109        .
110        (eliminate
111          IntegerLiteralFailure
112          (lambda unrestricted current : (family IntegerLiteralFailure) .
113            (family NormalizationCostResult))
114          failure
115          (branch
116            IntegerLiteralMissingDigits
117            .
118            (constructor NormalizationCostResult NormalizationCostInvalid))
119          (branch
120            IntegerLiteralBadDigit
121            .
122            (constructor NormalizationCostResult NormalizationCostInvalid))
123          (branch
124            IntegerLiteralBadSeparator
125            .
126            (constructor NormalizationCostResult NormalizationCostInvalid))
127          (branch
128            IntegerLiteralOutOfRange
129            .
130            (constructor NormalizationCostResult NormalizationCostTooLarge))))))