etaRule' in context string test suite does not complete fast enough

#368
Opened by raitobezarius at 2024-01-17T07·49+00

I don't know why but etaRule' in the context string test suite does not complete fast enough.

Introducer: https://cl.tvl.fyi/c/depot/+/10619/9/tvix/glue/src/tests/tvix_tests/eval-okay-context-introspection.nix#66

  1. raitobezarius updated the body of this issue at 2024-01-17T07·49+00

  2. This seems to consume 100% CPU, taking quite a while, slowly increasing its memory consumption. I assume we have a loop somewhere there.

    flokli at 2024-05-23T16·01+00

  3. With https://cl.tvl.fyi/c/depot/+/11743 added, this still fails, this time with a NotCoercibleToString error:

    [Error { kind: NativeError { gen_type: "final_deep_force", err: Error { kind: NativeError { gen_type: "deep_force", err: Error { kind: BytecodeError(Error { kind: NativeError { gen_type: "force", err: Error { kind: BytecodeError(Error { kind: NativeError { gen_type: "force", err: Error { kind: BytecodeError(Error { kind: NativeError { gen_type: "coerce_to_string", err: Error { kind: NativeError { gen_type: "concatStringsSep", err: Error { kind: NotCoercibleToString { from: "list", kind: CoercionKind { strong: false, import_paths: true } }, span: Span { low: Pos(834), high: Pos(898) }, contexts: [], source: SourceCode(RefCell { value: CodeMap { files: [File("/depot/tvix/glue/src/tests/tvix_tests/eval-okay-context-introspection.nix"), File("<src-builtins/derivation.nix>")] } }) } }, span: Span { low: Pos(834), high: Pos(898) }, contexts: [], source: SourceCode(RefCell { value: CodeMap { files: [File("/depot/tvix/glue/src/tests/tvix_tests/eval-okay-context-introspection.nix"), File("<src-builtins/derivation.nix>")] } }) } }, span: Span { low: Pos(553), high: Pos(562) }, contexts: [], source: SourceCode(RefCell { value: CodeMap { files: [File("/depot/tvix/glue/src/tests/tvix_tests/eval-okay-context-introspection.nix"), File("<src-builtins/derivation.nix>")] } }) }), span: Span { low: Pos(552), high: Pos(563) }, contexts: [], source: SourceCode(RefCell { value: CodeMap { files: [File("/depot/tvix/glue/src/tests/tvix_tests/eval-okay-context-introspection.nix"), File("<src-builtins/derivation.nix>")] } }) } }, span: Span { low: Pos(552), high: Pos(563) }, contexts: [], source: SourceCode(RefCell { value: CodeMap { files: [File("/depot/tvix/glue/src/tests/tvix_tests/eval-okay-context-introspection.nix"), File("<src-builtins/derivation.nix>")] } }) }), span: Span { low: Pos(513), high: Pos(563) }, contexts: [], source: SourceCode(RefCell { value: CodeMap { files: [File("/depot/tvix/glue/src/tests/tvix_tests/eval-okay-context-introspection.nix"), File("<src-builtins/derivation.nix>")] } }) } }, span: Span { low: Pos(1943), high: Pos(1997) }, contexts: [], source: SourceCode(RefCell { value: CodeMap { files: [File("/depot/tvix/glue/src/tests/tvix_tests/eval-okay-context-introspection.nix"), File("<src-builtins/derivation.nix>")] } }) }), span: Span { low: Pos(1936), high: Pos(1997) }, contexts: [], source: SourceCode(RefCell { value: CodeMap { files: [File("/depot/tvix/glue/src/tests/tvix_tests/eval-okay-context-introspection.nix"), File("<src-builtins/derivation.nix>")] } }) } }, span: Span { low: Pos(196), high: Pos(3166) }, contexts: [], source: SourceCode(RefCell { value: CodeMap { files: [File("/depot/tvix/glue/src/tests/tvix_tests/eval-okay-context-introspection.nix"), File("<src-builtins/derivation.nix>")] } }) } }, span: Span { low: Pos(196), high: Pos(3166) }, contexts: [], source: SourceCode(RefCell { value: CodeMap { files: [File("/depot/tvix/glue/src/tests/tvix_tests/eval-okay-context-introspection.nix"), File("<src-builtins/derivation.nix>")] } }) }]

    flokli at 2024-06-02T18·14+00