feat: mix isDev into trace

Author: Vtec234

lakefile.lean

@@ -60,8 +60,9 @@ def widgetJsAllTarget (pkg : Package) (isDev : Bool) : FetchM (Job Unit) := do
   rollupConfig.bindM (sync := true) fun _ =>
   tsconfig.bindM (sync := true) fun _ =>
   widgetPackageLock.mapM fun _ => do
+    let depTrace := mixTrace (← getTrace) (.ofHash (.ofHashable isDev) "isDev")
     let traceFile := pkg.widgetDir / "js" / "lake.trace"
-    buildUnlessUpToDate traceFile (← getTrace) traceFile do
+    buildUnlessUpToDate traceFile depTrace traceFile do
       if let some msg := get_config? errorOnBuild then
         error msg
       /- HACK: Ensure that NPM modules are installed before building TypeScript,

widget/js/lake.trace

@@ -16,11 +16,12 @@
    "stdout:\n> @leanprover-community/proofwidgets4@0.2.0 build\n> npx tsc && rollup --environment NODE_ENV:production --config",
    "level": "trace"},
   {"message":
-   "stderr:\n\u001b[36m\n\u001b[1mdist/rubiks.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m3s\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/recharts.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[1m\u001b[33m(!) Circular dependencies\u001b[39m\u001b[22m\nnode_modules/d3-interpolate/src/value.js -> node_modules/d3-interpolate/src/array.js -> node_modules/d3-interpolate/src/value.js\nnode_modules/d3-interpolate/src/value.js -> node_modules/d3-interpolate/src/object.js -> node_modules/d3-interpolate/src/value.js\nnode_modules/recharts/es6/util/ChartUtils.js -> node_modules/recharts/es6/util/getLegendProps.js -> node_modules/recharts/es6/util/ChartUtils.js\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m2s\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/rbTree.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[1m\u001b[33m(!) Circular dependencies\u001b[39m\u001b[22m\nnode_modules/d3-selection/src/selection/index.js -> node_modules/d3-selection/src/selection/select.js -> node_modules/d3-selection/src/selection/index.js\nnode_modules/d3-selection/src/selection/index.js -> node_modules/d3-selection/src/selection/selectAll.js -> node_modules/d3-selection/src/selection/index.js\nnode_modules/d3-selection/src/selection/index.js -> node_modules/d3-selection/src/selection/filter.js -> node_modules/d3-selection/src/selection/index.js\n...and 12 more\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m458ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/presentSelection.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m58ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/penroseDisplay.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[1m\u001b[33m(!) Circular dependencies\u001b[39m\u001b[22m\nnode_modules/true-myth/dist/es/maybe.js -> node_modules/true-myth/dist/es/result.js -> node_modules/true-myth/dist/es/maybe.js\nnode_modules/@penrose/core/dist/engine/EngineUtils.js -> node_modules/@penrose/core/dist/utils/Util.js -> node_modules/@penrose/core/dist/engine/EngineUtils.js\nnode_modules/@penrose/core/dist/engine/BBox.js -> node_modules/@penrose/core/dist/contrib/Queries.js -> node_modules/@penrose/core/dist/engine/BBox.js\n...and 14 more\n\u001b[1m\u001b[33m(!) Use of eval is strongly discouraged\u001b[39m\u001b[22m\n\u001b[90mhttps://rollupjs.org/troubleshooting/#avoiding-eval\u001b[39m\n\u001b[1mnode_modules/mathjax-full/js/components/version.js\u001b[22m\n\u001b[90m4: exports.VERSION = (typeof PACKAGE_VERSION === 'undefined' ?\n5:     (function () {\n6:         var load = eval('require');\n                      ^\n7:         var dirname = eval('__dirname');\n8:         var path = load('path');\u001b[39m\n...and 1 other occurrence\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m3.7s\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/penroseCanvas.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[1m\u001b[33m(!) Circular dependencies\u001b[39m\u001b[22m\nnode_modules/true-myth/dist/es/maybe.js -> node_modules/true-myth/dist/es/result.js -> node_modules/true-myth/dist/es/maybe.js\nnode_modules/@penrose/core/dist/engine/EngineUtils.js -> node_modules/@penrose/core/dist/utils/Util.js -> node_modules/@penrose/core/dist/engine/EngineUtils.js\nnode_modules/@penrose/core/dist/engine/BBox.js -> node_modules/@penrose/core/dist/contrib/Queries.js -> node_modules/@penrose/core/dist/engine/BBox.js\n...and 14 more\n\u001b[1m\u001b[33m(!) Use of eval is strongly discouraged\u001b[39m\u001b[22m\n\u001b[90mhttps://rollupjs.org/troubleshooting/#avoiding-eval\u001b[39m\n\u001b[1mnode_modules/mathjax-full/js/components/version.js\u001b[22m\n\u001b[90m4: exports.VERSION = (typeof PACKAGE_VERSION === 'undefined' ?\n5:     (function () {\n6:         var load = eval('require');\n                      ^\n7:         var dirname = eval('__dirname');\n8:         var path = load('path');\u001b[39m\n...and 1 other occurrence\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m3.5s\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/ofRpcMethod.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m64ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/makeEditLink.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m43ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/interactiveSvg.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m54ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/interactiveExpr.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m40ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/index.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m46ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/htmlDisplayPanel.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m46ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/htmlDisplay.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m46ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/goalTypePanel.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m56ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/filterDetails.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m48ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/exprPresentation.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m52ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/d3Graph.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[1m\u001b[33m(!) Circular dependencies\u001b[39m\u001b[22m\nnode_modules/d3-selection/src/selection/index.js -> node_modules/d3-selection/src/selection/select.js -> node_modules/d3-selection/src/selection/index.js\nnode_modules/d3-selection/src/selection/index.js -> node_modules/d3-selection/src/selection/selectAll.js -> node_modules/d3-selection/src/selection/index.js\nnode_modules/d3-selection/src/selection/index.js -> node_modules/d3-selection/src/selection/filter.js -> node_modules/d3-selection/src/selection/index.js\n...and 12 more\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m717ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/cancellable.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m41ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/animatedHtml.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m48ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/RefreshComponent.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m49ms\u001b[22m\u001b[39m",
+   "stderr:\n\u001b[36m\n\u001b[1mdist/rubiks.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m3s\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/recharts.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[1m\u001b[33m(!) Circular dependencies\u001b[39m\u001b[22m\nnode_modules/d3-interpolate/src/value.js -> node_modules/d3-interpolate/src/array.js -> node_modules/d3-interpolate/src/value.js\nnode_modules/d3-interpolate/src/value.js -> node_modules/d3-interpolate/src/object.js -> node_modules/d3-interpolate/src/value.js\nnode_modules/recharts/es6/util/ChartUtils.js -> node_modules/recharts/es6/util/getLegendProps.js -> node_modules/recharts/es6/util/ChartUtils.js\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m2s\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/rbTree.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[1m\u001b[33m(!) Circular dependencies\u001b[39m\u001b[22m\nnode_modules/d3-selection/src/selection/index.js -> node_modules/d3-selection/src/selection/select.js -> node_modules/d3-selection/src/selection/index.js\nnode_modules/d3-selection/src/selection/index.js -> node_modules/d3-selection/src/selection/selectAll.js -> node_modules/d3-selection/src/selection/index.js\nnode_modules/d3-selection/src/selection/index.js -> node_modules/d3-selection/src/selection/filter.js -> node_modules/d3-selection/src/selection/index.js\n...and 12 more\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m464ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/presentSelection.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m56ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/penroseDisplay.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[1m\u001b[33m(!) Circular dependencies\u001b[39m\u001b[22m\nnode_modules/true-myth/dist/es/maybe.js -> node_modules/true-myth/dist/es/result.js -> node_modules/true-myth/dist/es/maybe.js\nnode_modules/@penrose/core/dist/engine/EngineUtils.js -> node_modules/@penrose/core/dist/utils/Util.js -> node_modules/@penrose/core/dist/engine/EngineUtils.js\nnode_modules/@penrose/core/dist/engine/BBox.js -> node_modules/@penrose/core/dist/contrib/Queries.js -> node_modules/@penrose/core/dist/engine/BBox.js\n...and 14 more\n\u001b[1m\u001b[33m(!) Use of eval is strongly discouraged\u001b[39m\u001b[22m\n\u001b[90mhttps://rollupjs.org/troubleshooting/#avoiding-eval\u001b[39m\n\u001b[1mnode_modules/mathjax-full/js/components/version.js\u001b[22m\n\u001b[90m4: exports.VERSION = (typeof PACKAGE_VERSION === 'undefined' ?\n5:     (function () {\n6:         var load = eval('require');\n                      ^\n7:         var dirname = eval('__dirname');\n8:         var path = load('path');\u001b[39m\n...and 1 other occurrence\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m3.7s\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/penroseCanvas.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[1m\u001b[33m(!) Circular dependencies\u001b[39m\u001b[22m\nnode_modules/true-myth/dist/es/maybe.js -> node_modules/true-myth/dist/es/result.js -> node_modules/true-myth/dist/es/maybe.js\nnode_modules/@penrose/core/dist/engine/EngineUtils.js -> node_modules/@penrose/core/dist/utils/Util.js -> node_modules/@penrose/core/dist/engine/EngineUtils.js\nnode_modules/@penrose/core/dist/engine/BBox.js -> node_modules/@penrose/core/dist/contrib/Queries.js -> node_modules/@penrose/core/dist/engine/BBox.js\n...and 14 more\n\u001b[1m\u001b[33m(!) Use of eval is strongly discouraged\u001b[39m\u001b[22m\n\u001b[90mhttps://rollupjs.org/troubleshooting/#avoiding-eval\u001b[39m\n\u001b[1mnode_modules/mathjax-full/js/components/version.js\u001b[22m\n\u001b[90m4: exports.VERSION = (typeof PACKAGE_VERSION === 'undefined' ?\n5:     (function () {\n6:         var load = eval('require');\n                      ^\n7:         var dirname = eval('__dirname');\n8:         var path = load('path');\u001b[39m\n...and 1 other occurrence\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m3.6s\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/ofRpcMethod.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m65ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/makeEditLink.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m39ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/interactiveSvg.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m55ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/interactiveExpr.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m40ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/index.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m45ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/htmlDisplayPanel.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m45ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/htmlDisplay.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m45ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/goalTypePanel.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m55ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/filterDetails.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m47ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/exprPresentation.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m52ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/d3Graph.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[1m\u001b[33m(!) Circular dependencies\u001b[39m\u001b[22m\nnode_modules/d3-selection/src/selection/index.js -> node_modules/d3-selection/src/selection/select.js -> node_modules/d3-selection/src/selection/index.js\nnode_modules/d3-selection/src/selection/index.js -> node_modules/d3-selection/src/selection/selectAll.js -> node_modules/d3-selection/src/selection/index.js\nnode_modules/d3-selection/src/selection/index.js -> node_modules/d3-selection/src/selection/filter.js -> node_modules/d3-selection/src/selection/index.js\n...and 12 more\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m734ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/cancellable.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m42ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/animatedHtml.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m48ms\u001b[22m\u001b[39m\n\u001b[36m\n\u001b[1mdist/RefreshComponent.js\u001b[22m → \u001b[1m./js\u001b[22m...\u001b[39m\n\u001b[32mcreated \u001b[1m./js\u001b[22m in \u001b[1m48ms\u001b[22m\u001b[39m",
    "level": "trace"}],
  "inputs":
  [["/Users/wjn/ProofWidgets4/widget/src", "8fa1fbf67782e784"],
   ["/Users/wjn/ProofWidgets4/widget/rollup.config.js", "f0fa02a0bd0fc2b7"],
   ["/Users/wjn/ProofWidgets4/widget/tsconfig.json", "1078f41213978103"],
-  ["/Users/wjn/ProofWidgets4/widget/package-lock.json", "eb90fe699949ba70"]],
- "depHash": "c226f1ff9e6e496d"}
+  ["/Users/wjn/ProofWidgets4/widget/package-lock.json", "eb90fe699949ba70"],
+  ["isDev", "feefd2a0d3a1847e"]],
+ "depHash": "5367d0a5c3c7b4ea"}