result.Wrap - propagate a failed Expect into a new type U
- public API streamline
- Failf[T]("msg") - originate a failure from a message; embed a cause with %w
- Err[T](err) - sets .err verbatim (the return zero, err / sentinel case)
This commit is contained in:
parent
4f55fcbef5
commit
13f6a6812a
@ -66,8 +66,12 @@ tools.versions Pinned tool versions (sourced by Makefile and pre-push
|
|||||||
- top-level entry points defer `result.Catch(&err)` (or use `result.Run(...)`) to convert any result exit into a normal Go error; genuine runtime panics (nil-deref, etc.) are re-panicked
|
- top-level entry points defer `result.Catch(&err)` (or use `result.Run(...)`) to convert any result exit into a normal Go error; genuine runtime panics (nil-deref, etc.) are re-panicked
|
||||||
- **`result.Catch` is incompatible with `-tags result_goexit`**: it relies on `recover()` which cannot intercept `runtime.Goexit`; prefer `result.Run`/`result.Go` which work in both builds
|
- **`result.Catch` is incompatible with `-tags result_goexit`**: it relies on `recover()` which cannot intercept `runtime.Goexit`; prefer `result.Run`/`result.Go` which work in both builds
|
||||||
- bridge existing `(T, error)` stdlib/third-party calls with `result.Of(...)`: `result.Of(os.ReadFile("cfg.json")).Expect("read config")`
|
- bridge existing `(T, error)` stdlib/third-party calls with `result.Of(...)`: `result.Of(os.ReadFile("cfg.json")).Expect("read config")`
|
||||||
|
- construct failures with these constructors, each a distinct intent — don't invent more:
|
||||||
|
- `result.Ok[T](v)` / `result.Err[T](err)` — the two field constructors: a success value, or a bare error boxed verbatim (use `Err` for `return zero, err` and sentinels)
|
||||||
|
- `result.Failf[T]("msg")` — *originate* a failure from a message; embed a cause with `%w` (`result.Failf[T]("load config: %w", err)`)
|
||||||
|
- `result.Wrap[U](r, "msg")` — *propagate* an already-failed `Expect` into a new type `U`, optionally adding context; only valid on a failed result (panics on a success), so guard with `if r.Err() != nil`. Use this instead of pulling the error out with `r.Err()` by hand
|
||||||
- use `result.StackTrace(err)` to retrieve the capture-site stack from a caught error
|
- use `result.StackTrace(err)` to retrieve the capture-site stack from a caught error
|
||||||
- still use `fmt.Errorf("context: %w", err)` when wrapping errors *before* constructing a `result.Fail`
|
- still use `fmt.Errorf("context: %w", err)` when wrapping errors *before* constructing a `result.Err`
|
||||||
- **Logging** — logs go to `stderr` per 12-factor XI; human output goes to `stdout` via `fmt.Print*`.
|
- **Logging** — logs go to `stderr` per 12-factor XI; human output goes to `stdout` via `fmt.Print*`.
|
||||||
Use `logger.NewCLI(level, debugFile)` for CLI apps: auto-detects TTY → human text on terminal,
|
Use `logger.NewCLI(level, debugFile)` for CLI apps: auto-detects TTY → human text on terminal,
|
||||||
JSON when piped. Use `logger.New(level)` for headless services that always want JSON.
|
JSON when piped. Use `logger.New(level)` for headless services that always want JSON.
|
||||||
@ -154,3 +158,4 @@ make clean # remove bin/
|
|||||||
- 2026-04-23 — Documented result layering rule: pkg/ libraries only return Expect[T]; .Expect()/.Must() calls belong in application-layer code.
|
- 2026-04-23 — Documented result layering rule: pkg/ libraries only return Expect[T]; .Expect()/.Must() calls belong in application-layer code.
|
||||||
- 2026-06-03 — pkg/logger v0.4.0: replaced NewDevelopment with NewCLI(level, debugFile); two-mode model (human text on TTY / JSON when piped); debug file mode; IsInteractive() helper. Established "form over mechanism" as core design principle.
|
- 2026-06-03 — pkg/logger v0.4.0: replaced NewDevelopment with NewCLI(level, debugFile); two-mode model (human text on TTY / JSON when piped); debug file mode; IsInteractive() helper. Established "form over mechanism" as core design principle.
|
||||||
- 2026-06-13 — Build stamping + multi-binary build: internal/buildinfo (Version, Commit, BuildTime injected via -ldflags); make build discovers all cmd/* via find and produces named binaries in ./bin/; make run replaced with make run/<name> pattern; devcontainer adds ./bin to PATH via ${containerWorkspaceFolder}.
|
- 2026-06-13 — Build stamping + multi-binary build: internal/buildinfo (Version, Commit, BuildTime injected via -ldflags); make build discovers all cmd/* via find and produces named binaries in ./bin/; make run replaced with make run/<name> pattern; devcontainer adds ./bin to PATH via ${containerWorkspaceFolder}.
|
||||||
|
- 2026-06-14 — pkg/result: reworked the failure surface into four intent-split constructors — Ok/Err (field constructors: value / bare error), Failf (originate from a message, %w for a cause), Wrap[U](r, "msg") (propagate a failed Expect into a new type; panics on success). Removed Errf/Errw. Wrap eliminates the r.Err() unwrap-rewrap dance; behavioral guarantees covered in pkg/result/wrap_test.go.
|
||||||
|
|||||||
@ -26,7 +26,7 @@ func New(log *logger.Logger) *Service {
|
|||||||
// Greet returns a personalized greeting and logs the interaction.
|
// Greet returns a personalized greeting and logs the interaction.
|
||||||
func (s *Service) Greet(name string) result.Expect[string] {
|
func (s *Service) Greet(name string) result.Expect[string] {
|
||||||
if name == "" {
|
if name == "" {
|
||||||
return result.Errf[string]("name must not be empty")
|
return result.Failf[string]("name must not be empty")
|
||||||
}
|
}
|
||||||
|
|
||||||
msg := fmt.Sprintf("Hello, %s!", name)
|
msg := fmt.Sprintf("Hello, %s!", name)
|
||||||
|
|||||||
@ -54,7 +54,7 @@ type Logger struct {
|
|||||||
func New(level string) result.Expect[*Logger] {
|
func New(level string) result.Expect[*Logger] {
|
||||||
lvl := parseLevel(level)
|
lvl := parseLevel(level)
|
||||||
if lvl.Err() != nil {
|
if lvl.Err() != nil {
|
||||||
return result.Errw[*Logger](lvl.Err(), "parse log level")
|
return result.Wrap[*Logger](lvl, "parse log level")
|
||||||
}
|
}
|
||||||
|
|
||||||
h := slog.NewJSONHandler(os.Stderr, &slog.HandlerOptions{Level: lvl.Value()})
|
h := slog.NewJSONHandler(os.Stderr, &slog.HandlerOptions{Level: lvl.Value()})
|
||||||
@ -76,7 +76,7 @@ func New(level string) result.Expect[*Logger] {
|
|||||||
func NewCLI(level string, debugOut io.Writer) result.Expect[*Logger] {
|
func NewCLI(level string, debugOut io.Writer) result.Expect[*Logger] {
|
||||||
lvl := parseLevel(level)
|
lvl := parseLevel(level)
|
||||||
if lvl.Err() != nil {
|
if lvl.Err() != nil {
|
||||||
return result.Errw[*Logger](lvl.Err(), "parse log level")
|
return result.Wrap[*Logger](lvl, "parse log level")
|
||||||
}
|
}
|
||||||
|
|
||||||
if !isTerminal(os.Stderr) {
|
if !isTerminal(os.Stderr) {
|
||||||
@ -112,7 +112,7 @@ func IsInteractive() bool {
|
|||||||
func NewWriter(w io.Writer, level string) result.Expect[*Logger] {
|
func NewWriter(w io.Writer, level string) result.Expect[*Logger] {
|
||||||
lvl := parseLevel(level)
|
lvl := parseLevel(level)
|
||||||
if lvl.Err() != nil {
|
if lvl.Err() != nil {
|
||||||
return result.Errw[*Logger](lvl.Err(), "parse log level")
|
return result.Wrap[*Logger](lvl, "parse log level")
|
||||||
}
|
}
|
||||||
|
|
||||||
h := slog.NewJSONHandler(w, &slog.HandlerOptions{Level: lvl.Value()})
|
h := slog.NewJSONHandler(w, &slog.HandlerOptions{Level: lvl.Value()})
|
||||||
@ -154,8 +154,6 @@ func (l *Logger) WithFields(fields map[string]any) *Logger {
|
|||||||
|
|
||||||
func parseLevel(level string) result.Expect[slog.Level] {
|
func parseLevel(level string) result.Expect[slog.Level] {
|
||||||
var lvl slog.Level
|
var lvl slog.Level
|
||||||
if err := lvl.UnmarshalText([]byte(level)); err != nil {
|
err := lvl.UnmarshalText([]byte(level))
|
||||||
return result.Errw[slog.Level](err, "unknown level (use debug|info|warn|error)")
|
return result.Of(lvl, err)
|
||||||
}
|
|
||||||
return result.Ok(lvl)
|
|
||||||
}
|
}
|
||||||
|
|||||||
@ -252,7 +252,7 @@ func r_parseHeader3(raw string) result.Expect[bHeader] {
|
|||||||
}
|
}
|
||||||
parts := strings.SplitN(raw, "|", 3)
|
parts := strings.SplitN(raw, "|", 3)
|
||||||
if len(parts) != 3 {
|
if len(parts) != 3 {
|
||||||
return result.Errf[bHeader]("malformed record: %q", raw)
|
return result.Failf[bHeader]("malformed record: %q", raw)
|
||||||
}
|
}
|
||||||
return result.Ok(bHeader{raw: raw, id: parts[0], name: parts[1], val: parts[2]})
|
return result.Ok(bHeader{raw: raw, id: parts[0], name: parts[1], val: parts[2]})
|
||||||
}
|
}
|
||||||
@ -273,10 +273,10 @@ func r_validate4(h bHeader) result.Expect[bFields] { return r_validate5(h) }
|
|||||||
func r_validate5(h bHeader) result.Expect[bFields] {
|
func r_validate5(h bHeader) result.Expect[bFields] {
|
||||||
id, err := strconv.Atoi(h.id)
|
id, err := strconv.Atoi(h.id)
|
||||||
if err != nil {
|
if err != nil {
|
||||||
return result.Errf[bFields]("parse id %q: %w", h.id, err)
|
return result.Failf[bFields]("parse id %q: %w", h.id, err)
|
||||||
}
|
}
|
||||||
if id <= 0 {
|
if id <= 0 {
|
||||||
return result.Errf[bFields]("id %d: must be > 0", id)
|
return result.Failf[bFields]("id %d: must be > 0", id)
|
||||||
}
|
}
|
||||||
return result.Ok(bFields{id: id, name: h.name, val: h.val})
|
return result.Ok(bFields{id: id, name: h.name, val: h.val})
|
||||||
}
|
}
|
||||||
@ -297,7 +297,7 @@ func r_transform4(f bFields) result.Expect[bRecord] { return r_transform5(f) }
|
|||||||
func r_transform5(f bFields) result.Expect[bRecord] {
|
func r_transform5(f bFields) result.Expect[bRecord] {
|
||||||
v, err := strconv.ParseFloat(f.val, 64)
|
v, err := strconv.ParseFloat(f.val, 64)
|
||||||
if err != nil {
|
if err != nil {
|
||||||
return result.Errf[bRecord]("parse value %q: %w", f.val, err)
|
return result.Failf[bRecord]("parse value %q: %w", f.val, err)
|
||||||
}
|
}
|
||||||
return result.Ok(bRecord{id: f.id, name: f.name, score: v * 1.5})
|
return result.Ok(bRecord{id: f.id, name: f.name, score: v * 1.5})
|
||||||
}
|
}
|
||||||
|
|||||||
@ -9,7 +9,7 @@
|
|||||||
//
|
//
|
||||||
// func parseHost(s string) result.Expect[string] {
|
// func parseHost(s string) result.Expect[string] {
|
||||||
// if s == "" {
|
// if s == "" {
|
||||||
// return result.Errf[string]("host must not be empty")
|
// return result.Failf[string]("host must not be empty")
|
||||||
// }
|
// }
|
||||||
// return result.Ok(s)
|
// return result.Ok(s)
|
||||||
// }
|
// }
|
||||||
@ -54,8 +54,10 @@
|
|||||||
//
|
//
|
||||||
// # Constructors
|
// # Constructors
|
||||||
//
|
//
|
||||||
// Use [Ok] to wrap a success value, [Err] / [Errf] / [Errw] to wrap errors,
|
// [Ok] and [Err] are the two field constructors (a success value or a bare
|
||||||
// and [Of] to bridge existing (value, error) return signatures:
|
// error). On top of them, [Failf] originates a failure from a message (embed a
|
||||||
|
// cause with %w), [Wrap] propagates an already-failed result into a new type,
|
||||||
|
// and [Of] bridges existing (value, error) return signatures:
|
||||||
//
|
//
|
||||||
// data := result.Of(os.ReadFile("cfg.json")).Expect("read config")
|
// data := result.Of(os.ReadFile("cfg.json")).Expect("read config")
|
||||||
//
|
//
|
||||||
|
|||||||
@ -10,7 +10,7 @@ import (
|
|||||||
// parseHost is an example of a simple utility function, that validates a hostname.
|
// parseHost is an example of a simple utility function, that validates a hostname.
|
||||||
func parseHost(s string) result.Expect[string] {
|
func parseHost(s string) result.Expect[string] {
|
||||||
if s == "" {
|
if s == "" {
|
||||||
return result.Errf[string]("host must not be empty")
|
return result.Failf[string]("host must not be empty")
|
||||||
}
|
}
|
||||||
return result.Ok(s)
|
return result.Ok(s)
|
||||||
}
|
}
|
||||||
@ -19,10 +19,10 @@ func parseHost(s string) result.Expect[string] {
|
|||||||
func parsePort(s string) result.Expect[int] {
|
func parsePort(s string) result.Expect[int] {
|
||||||
port := result.Of(strconv.Atoi(s))
|
port := result.Of(strconv.Atoi(s))
|
||||||
if port.Err() != nil {
|
if port.Err() != nil {
|
||||||
return result.Errw[int](port.Err(), "result.Of")
|
return result.Wrap[int](port, "result.Of")
|
||||||
}
|
}
|
||||||
if port.Value() < 1 || port.Value() > 65535 {
|
if port.Value() < 1 || port.Value() > 65535 {
|
||||||
return result.Errf[int]("%d out of range", port.Value())
|
return result.Failf[int]("%d out of range", port.Value())
|
||||||
}
|
}
|
||||||
return port
|
return port
|
||||||
}
|
}
|
||||||
@ -148,3 +148,25 @@ func Example_unwrap() {
|
|||||||
// Output:
|
// Output:
|
||||||
// 443
|
// 443
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// Example_wrap shows propagating a failure across result types. parsePort
|
||||||
|
// returns Expect[int], but buildAddr returns Expect[string]; Wrap carries the
|
||||||
|
// same failure into the new type and layers on its own context — no manual
|
||||||
|
// r.Err() unwrap-and-rebuild. The result reads as a top-down trace: outermost
|
||||||
|
// context first, root cause last.
|
||||||
|
func Example_wrap() {
|
||||||
|
buildAddr := func(portStr string) result.Expect[string] {
|
||||||
|
port := parsePort(portStr) // Expect[int]
|
||||||
|
if port.Err() != nil {
|
||||||
|
return result.Wrap[string](port, "build address")
|
||||||
|
}
|
||||||
|
return result.Ok(fmt.Sprintf(":%d", port.Value()))
|
||||||
|
}
|
||||||
|
|
||||||
|
if r := buildAddr("99999"); r.Err() != nil {
|
||||||
|
fmt.Println("failed:", r.Err())
|
||||||
|
}
|
||||||
|
// Output:
|
||||||
|
// failed: example_test.go:161: build address
|
||||||
|
// example_test.go:25: 99999 out of range
|
||||||
|
}
|
||||||
|
|||||||
@ -16,7 +16,7 @@ import (
|
|||||||
// without a subprocess, so it is only documented here.
|
// without a subprocess, so it is only documented here.
|
||||||
func TestMustCollected(t *testing.T) {
|
func TestMustCollected(t *testing.T) {
|
||||||
err := result.Run(func() {
|
err := result.Run(func() {
|
||||||
result.Errf[int]("unrecoverable").Must()
|
result.Failf[int]("unrecoverable").Must()
|
||||||
})
|
})
|
||||||
|
|
||||||
if err == nil {
|
if err == nil {
|
||||||
|
|||||||
@ -49,32 +49,63 @@ func Ok[T any](v T) Expect[T] {
|
|||||||
return Expect[T]{value: v}
|
return Expect[T]{value: v}
|
||||||
}
|
}
|
||||||
|
|
||||||
// Err wraps an error in an Expect.
|
// Err wraps an error in an Expect — the failure-side counterpart to [Ok],
|
||||||
|
// setting the error field verbatim with no added location or message. Use it to
|
||||||
|
// pass an error along unchanged, including a package-level sentinel:
|
||||||
|
//
|
||||||
|
// return result.Err[T](err)
|
||||||
|
// return result.Err[bHeader](ErrEmpty)
|
||||||
|
//
|
||||||
|
// To build a failure from a message (optionally wrapping a cause with %w), use
|
||||||
|
// [Failf]; to carry an already-failed result into a new type, use [Wrap].
|
||||||
func Err[T any](err error) Expect[T] {
|
func Err[T any](err error) Expect[T] {
|
||||||
return Expect[T]{err: err}
|
return Expect[T]{err: err}
|
||||||
}
|
}
|
||||||
|
|
||||||
// Errf wraps a formatted error in an Expect. It is a convenience shorthand
|
// Failf originates a failure from a formatted message. Where [Err] boxes an
|
||||||
// for [Err][fmt.Errorf(format, args...)]. The caller's file and line are
|
// existing error verbatim, Failf builds a new one — optionally embedding a
|
||||||
// prepended to the error message automatically.
|
// cause with %w to preserve the errors.Is/As chain:
|
||||||
func Errf[T any](format string, args ...any) Expect[T] {
|
//
|
||||||
|
// return result.Failf[string]("host must not be empty")
|
||||||
|
// return result.Failf[T]("create dir %q: %w", dir, err)
|
||||||
|
//
|
||||||
|
// The caller's file and line are prepended automatically. To propagate an
|
||||||
|
// already-failed result, use [Wrap] instead of pulling its error out by hand.
|
||||||
|
func Failf[T any](format string, args ...any) Expect[T] {
|
||||||
_, file, line, _ := runtime.Caller(1)
|
_, file, line, _ := runtime.Caller(1)
|
||||||
loc := fmt.Sprintf("%s:%d", filepath.Base(file), line)
|
loc := fmt.Sprintf("%s:%d", filepath.Base(file), line)
|
||||||
return Expect[T]{err: fmt.Errorf(loc+": "+format, args...)}
|
return Expect[T]{err: fmt.Errorf(loc+": "+format, args...)}
|
||||||
}
|
}
|
||||||
|
|
||||||
// Errw wraps an existing error with a context message, following the standard
|
// Wrap propagates a failed Expect[T] as an Expect[U], optionally annotating it
|
||||||
// Go error-propagation convention (errors.Is/As chain is preserved). Each
|
// with a context message. It carries a failure across the type boundary between
|
||||||
// wrapping level is placed on its own line so the full error reads as a
|
// two result-returning functions without the unwrap-then-rebuild dance of
|
||||||
// top-down trace: outermost context first, root cause last. The caller's file
|
// reaching into [Expect.Err] by hand.
|
||||||
// and line are prepended automatically.
|
|
||||||
//
|
//
|
||||||
// main.go:42: load config
|
// Wrap is meaningful only on a failed result — a successful r holds a T whose
|
||||||
// logger.go:35: parse log level
|
// value cannot be retyped to U — so guard it with the usual error check:
|
||||||
// strconv.Atoi: parsing "x": invalid syntax
|
//
|
||||||
func Errw[T any](err error, format string, args ...any) Expect[T] {
|
// lvl := parseLevel(level)
|
||||||
|
// if lvl.Err() != nil {
|
||||||
|
// return result.Wrap[*Logger](lvl, "parse log level")
|
||||||
|
// }
|
||||||
|
//
|
||||||
|
// With no message Wrap retypes the failure verbatim. With a message (optionally
|
||||||
|
// fmt.Sprintf-formatted) it follows Go's error-propagation convention: the
|
||||||
|
// errors.Is/As chain is preserved and the caller's file and line are prepended,
|
||||||
|
// each wrapping level on its own line so the error reads as a top-down trace.
|
||||||
|
//
|
||||||
|
// Calling Wrap on a successful r is a programmer error and panics.
|
||||||
|
func Wrap[U, T any](r Expect[T], msgArgs ...any) Expect[U] {
|
||||||
|
if r.err == nil {
|
||||||
|
panic("result.Wrap called on a successful Expect")
|
||||||
|
}
|
||||||
|
if len(msgArgs) == 0 {
|
||||||
|
return Expect[U]{err: r.err}
|
||||||
|
}
|
||||||
_, file, line, _ := runtime.Caller(1)
|
_, file, line, _ := runtime.Caller(1)
|
||||||
return Expect[T]{err: fmt.Errorf("%s:%d: %s\n%w", filepath.Base(file), line, fmt.Sprintf(format, args...), err)}
|
msg := fmt.Sprintf(msgArgs[0].(string), msgArgs[1:]...)
|
||||||
|
return Expect[U]{err: fmt.Errorf("%s:%d: %s\n%w", filepath.Base(file), line, msg, r.err)}
|
||||||
}
|
}
|
||||||
|
|
||||||
// Of is a convenience constructor that bridges standard Go (value, error)
|
// Of is a convenience constructor that bridges standard Go (value, error)
|
||||||
@ -191,7 +222,7 @@ func Async[T any](fn func() T) <-chan Expect[T] {
|
|||||||
if err := collectGoexitFailure(); err != nil {
|
if err := collectGoexitFailure(); err != nil {
|
||||||
ch <- Err[T](err)
|
ch <- Err[T](err)
|
||||||
} else {
|
} else {
|
||||||
ch <- Errf[T]("goroutine exited unexpectedly")
|
ch <- Failf[T]("goroutine exited unexpectedly")
|
||||||
}
|
}
|
||||||
}()
|
}()
|
||||||
val = fn()
|
val = fn()
|
||||||
|
|||||||
82
pkg/result/wrap_test.go
Normal file
82
pkg/result/wrap_test.go
Normal file
@ -0,0 +1,82 @@
|
|||||||
|
package result_test
|
||||||
|
|
||||||
|
import (
|
||||||
|
"errors"
|
||||||
|
"strings"
|
||||||
|
"testing"
|
||||||
|
|
||||||
|
"gitea.djmil.dev/go/template/pkg/result"
|
||||||
|
)
|
||||||
|
|
||||||
|
var errRoot = errors.New("root cause")
|
||||||
|
|
||||||
|
// Intended usage of Wrap is demonstrated in example_test.go (parsePort). These
|
||||||
|
// tests pin the behavioral guarantees that an example's Output cannot assert:
|
||||||
|
// chain preservation, file:line stamping, stack survival, and the panic
|
||||||
|
// contract on misuse.
|
||||||
|
|
||||||
|
// TestWrapRetypesVerbatim verifies that Wrap with no message carries a failure
|
||||||
|
// from one value type to another, preserving the error chain unchanged.
|
||||||
|
func TestWrapRetypesVerbatim(t *testing.T) {
|
||||||
|
src := result.Err[int](errRoot) // Expect[int]
|
||||||
|
|
||||||
|
dst := result.Wrap[string](src) // Expect[string]
|
||||||
|
|
||||||
|
if !errors.Is(dst.Err(), errRoot) {
|
||||||
|
t.Fatalf("errors.Is chain not preserved: %v", dst.Err())
|
||||||
|
}
|
||||||
|
if dst.Err().Error() != errRoot.Error() {
|
||||||
|
t.Fatalf("verbatim wrap changed the message: got %q want %q", dst.Err(), errRoot)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// TestWrapAnnotates verifies that a context message is prepended with the
|
||||||
|
// caller's file:line while the underlying chain stays intact and leads the
|
||||||
|
// trace (outermost context first, root cause last).
|
||||||
|
func TestWrapAnnotates(t *testing.T) {
|
||||||
|
src := result.Failf[int]("parse %d", 7)
|
||||||
|
|
||||||
|
dst := result.Wrap[string](src, "load config id=%d", 42)
|
||||||
|
|
||||||
|
msg := dst.Err().Error()
|
||||||
|
if !strings.Contains(msg, "load config id=42") {
|
||||||
|
t.Fatalf("formatted context missing: %q", msg)
|
||||||
|
}
|
||||||
|
if !strings.Contains(msg, "wrap_test.go:") {
|
||||||
|
t.Fatalf("caller file:line not prepended: %q", msg)
|
||||||
|
}
|
||||||
|
if !strings.Contains(msg, "parse 7") {
|
||||||
|
t.Fatalf("underlying cause lost: %q", msg)
|
||||||
|
}
|
||||||
|
if first, _, _ := strings.Cut(msg, "\n"); !strings.Contains(first, "load config id=42") {
|
||||||
|
t.Fatalf("context should head the trace, got first line %q", first)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// TestWrapPreservesStackError verifies that a failure captured by Expect (a
|
||||||
|
// *stackError) survives the retype, so StackTrace still resolves it.
|
||||||
|
func TestWrapPreservesStackError(t *testing.T) {
|
||||||
|
captured := result.Run(func() {
|
||||||
|
result.Err[int](errRoot).Expect("inner")
|
||||||
|
})
|
||||||
|
if captured == nil {
|
||||||
|
t.Fatal("setup: expected Run to collect an error")
|
||||||
|
}
|
||||||
|
|
||||||
|
dst := result.Wrap[string](result.Err[int](captured), "outer")
|
||||||
|
|
||||||
|
if result.StackTrace(dst.Err()) == "" {
|
||||||
|
t.Fatal("stack trace lost through Wrap")
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// TestWrapOnSuccessPanics locks in the documented contract: Wrap is only valid
|
||||||
|
// on a failed result; calling it on a success is a programmer error.
|
||||||
|
func TestWrapOnSuccessPanics(t *testing.T) {
|
||||||
|
defer func() {
|
||||||
|
if recover() == nil {
|
||||||
|
t.Fatal("expected Wrap on a successful Expect to panic")
|
||||||
|
}
|
||||||
|
}()
|
||||||
|
_ = result.Wrap[string](result.Ok(1))
|
||||||
|
}
|
||||||
Loading…
Reference in New Issue
Block a user