larvit/fejkdata
3
0
Fork 0
Code Pull Requests Actions Activity

Read a signed zero off the mantissa, and drop the comment on the unused Pow
Tests / vet + fmt + tests (pull_request) Successful in 1m1s
Details
Tests / vet + fmt + tests (push) Successful in 6s
Details

Browse Source
This commit was merged in pull request #13.
This commit is contained in:
Lilleman auf Larv
2026-09-15 15:17:38 +02:00
parent 08949eb72c
commit 88143153ed
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
value.go
+3 -2
View File
@@ -205,7 +205,7 @@ func magnitude(v proven) float64 { return math.Max(math.Abs(v.lo), math.Abs(v.hi
// and within int64, else a number. // and within int64, else a number.
func printedNumber(token string, v proven, dp int) proven { func printedNumber(token string, v proven, dp int) proven {
if dp >= 0 { if dp >= 0 {
half, _ := strconv.ParseFloat("5e-"+strconv.Itoa(dp+1), 64) // math.Pow(10, -dp) can land below the tie and let a printed zero through half, _ := strconv.ParseFloat("5e-"+strconv.Itoa(dp+1), 64)
v = proven{lo: v.lo - half, hi: v.hi + half, nonZero: math.Max(0, v.nonZero-half), integral: v.integral || dp == 0} v = proven{lo: v.lo - half, hi: v.hi + half, nonZero: math.Max(0, v.nonZero-half), integral: v.integral || dp == 0}
} }
if dp != 0 && !(dp < 0 && v.integral) { if dp != 0 && !(dp < 0 && v.integral) {
@@ -271,7 +271,8 @@ func literalValue(text string) proven {
// signedZero refuses a zero written with a sign as a typed value, naming it unsigned. // signedZero refuses a zero written with a sign as a typed value, naming it unsigned.
func signedZero(text string, v proven) proven { func signedZero(text string, v proven) proven {
if !strings.HasPrefix(text, "-") || v.notOperand != "" || v.lo != 0 { mantissa, _, _ := strings.Cut(strings.ToLower(text), "e")
if !strings.HasPrefix(text, "-") || v.notOperand != "" || strings.Trim(mantissa, "-0.") != "" {
return v return v
} }
for _, d := range []DataType{DataTypeInteger, DataTypeNumber} { for _, d := range []DataType{DataTypeInteger, DataTypeNumber} {