Critical dependency: Contexts can't use RegExps with the 'g' or 'y' flags.

Command is
npm run dev
Error is:
WARNING in ./resources/assets/etc/js/includes/components.js
11:3-68 Critical dependency: Contexts can't use RegExps with the 'g' or 'y' flags.
@ ./resources/assets/etc/js/includes/components.js
@ ./resources/assets/etc/js/includes/app.js
@ multi ./resources/assets/etc/js/includes/app.js
WARNING in ./resources/assets/etc/js/includes/bootstrap.js
26:21-87 Critical dependency: Contexts can't use RegExps with the 'g' or 'y' flags.
@ ./resources/assets/etc/js/includes/bootstrap.js
@ ./resources/assets/etc/js/includes/app.js
@ multi ./resources/assets/etc/js/includes/app.js
WARNING in ./resources/assets/js/etc-reports/index.js
7:3-54 Critical dependency: Contexts can't use RegExps with the 'g' or 'y' flags.
@ ./resources/assets/js/etc-reports/index.js
@ multi ./resources/assets/js/etc-reports/index.js
WARNING in ./resources/assets/etc/js/includes/languages.js
9:3-61 Critical dependency: Contexts can't use RegExps with the 'g' or 'y' flags.
@ ./resources/assets/etc/js/includes/languages.js
@ ./resources/assets/etc/js/includes/providers.js
@ ./resources/assets/etc/js/includes/bootstrap.js
@ ./resources/assets/etc/js/includes/app.js
@ multi ./resources/assets/etc/js/includes/app.js
Code is in ./resources/assets/etc/js/includes/components.js
((context) => {
context.keys().forEach((key) => {
exports[key.replace(/^./([^.]+).vue/,'$1')] = context(key)
});
})(require.context('./../components', true, /^(..(vue))[^.]*$/igm));
Packge.json is
{
"private": true,
"scripts": {
"dev": "cross-env NODE_ENV=development node_modules/webpack/bin/webpack.js --progress --hide-modules --config=node_modules/laravel-mix/setup/webpack.config.js",
"watch": "cross-env NODE_ENV=development node_modules/webpack/bin/webpack.js --watch --progress --hide-modules --config=node_modules/laravel-mix/setup/webpack.config.js --display-entrypoints",
"watch-poll": "cross-env NODE_ENV=development node_modules/webpack/bin/webpack.js --watch --watch-poll --progress --hide-modules --config=node_modules/laravel-mix/setup/webpack.config.js",
"hot": "cross-env NODE_ENV=development node_modules/webpack-dev-server/bin/webpack-dev-server.js --inline --hot --config=node_modules/laravel-mix/setup/webpack.config.js",
"production": "cross-env NODE_ENV=production node_modules/webpack/bin/webpack.js --progress --hide-modules --config=node_modules/laravel-mix/setup/webpack.config.js"
},
"devDependencies": {
"axios": "0.15.3",
"babel-preset-es2015": "^6.24.1",
"babel-preset-react": "^6.24.1",
"babel-preset-stage-0": "^6.24.1",
"bootstrap": "^4.0.0-alpha.6",
"bootswatch": "^4.1.1",
"circular-dependency-plugin": "^3.0.0",
"classnames": "^2.2.5",
"cross-env": "^3.2.4",
"font-awesome": "^4.7.0",
"jquery": "^3.1.1",
"laravel-mix": "0.*",
"lodash": "^4.17.4",
"prop-types": "^15.5.8",
"tether": "^1.4.0",
"uglify-js": "^3.3.27",
"webpack-livereload-plugin": "^1.2.0"
},
"dependencies": {
"animate.css": "^3.5.2",
"async-validator": "^1.8.5",
"avatar-initials": "^4.0.0",
"babel-plugin-syntax-object-rest-spread": "^6.13.0",
"babel-plugin-transform-object-rest-spread": "^6.23.0",
"babel-polyfill": "^6.26.0",
"basscss": "^8.0.2",
"chart.js": "^2.7.2",
"chartist": "^0.11.0",
"chartjs-plugin-labels": "^1.0.0",
"chosen-js": "^1.7.0",
"element-ui": "^2.2.0",
"font-awesome-webpack": "0.0.5-beta.2",
"izimodal": "^1.5.1",
"js-cookie": "^2.1.4",
"laravel-vue-pagination": "^2.2.0",
"lodash": "^4.17.4",
"mdbootstrap": "^4.7.6",
"moment": "^2.20.1",
"moment-timezone": "^0.5.14",
"node-sass": "^4.11.0",
"normalize.css": "^7.0.0",
"promise-polyfill": "7.1.1",
"react": "^16.8.6",
"react-bootstrap-table": "^4.3.1",
"react-clipboard.js": "^2.0.7",
"react-datepicker": "^2.3.0",
"react-dom": "^16.8.6",
"react-paginate": "^6.3.0",
"reactstrap": "^8.0.0",
"rxjs": "^5.4.0",
"same-height": "^1.0.0",
"selectize": "^0.12.4",
"v-markdown-editor": "^1.0.7",
"verge": "^1.10.2",
"vodal": "^2.3.3",
"vue": "^2.5.13",
"vue-async-computed": "^3.4.1",
"vue-awesome-swiper": "^3.1.3",
"vue-chartjs": "^3.4.0",
"vue-i18n": "^6.1.3",
"vue-material": "^1.0.0-beta-10.2",
"vue-momentjs": "^0.1.1",
"vue-progressbar": "^0.7.2",
"vue-router": "^2.5.3",
"vue-smoothscroll-websites": "0.0.6",
"vue-sticky": "^3.3.4",
"vue-template-compiler": "^2.5.13",
"vue2-filters": "^0.1.9",
"vuex": "^2.3.1",
"vuex-router-sync": "^4.1.3"
}
}
Please help me to fix this issue

Please help me to fix this issue


cigien: Watch olive-route.in

cigien requests the watch of the watch_keyword olive-route\.in. See the MS search here and the Stack Exchange search in text, in URLs, and in code.

olive-route\.in has been seen in 1 true positive, 0 false positives, and 0 NAAs.

olive-route\.in has been seen in 1 true positive, 0 false positives, and 0 NAAs.

Approved by tripleee in Charcoal HQ

Approved by tripleee in Charcoal HQ


buildpack for heroku fail: failed to read buildpack metadata

Last push log.
Counting objects: 358, done.
Delta compression using up to 8 threads.
Compressing objects: 100% (315/315), done.
Writing objects: 100% (358/358), 476.56 KiB | 0 bytes/s, done.
Total 358 (delta 37), reused 0 (delta 0)
remote: Compressing source files... done.
remote: Building source:
remote:
remote: -----> Fetching custom git buildpack... done
remote: -----> Revel app detected
remote: -----> Installing go1.4.2... done
remote:        Installing Virtualenv... done
remote:        Installing Mercurial... done
remote:        Installing Bazaar... done
remote: -----> Copying workspace
remote: -----> Running: godep go install -tags heroku ./...
remote: -----> Discovering process types
remote:
remote:  !     Push failed: failed to read buildpack metadata: (<unknown>): mapping values are not allowed in this context at line 1 column 56
remote:  !     Please try pushing again.
remote:  !     If the problem persists, see http://help.heroku.com/ and provide Request ID dfde7b2d-71e2-47c9-a191-d35453746f64.
remote:
remote:
remote: Verifying deploy....
remote:
remote: !   Push rejected to dudley-whistler-5185.
remote:
To git@heroku.com:dudley-whistler-5185.git
 ! [remote rejected] master -> master (pre-receive hook declined)
error: failed to push some refs to 'git@heroku.com:dudley-whistler-5185.git'

Getting the same issue.

I have same issues.

This was because of changes to revel, after modifying application it worked again


inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9113:32:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9113:34: note: ‘<anonymous>’ declared here
 9113 |                         result = basic_json(value_t::discarded);
      |                                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9138:36:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9138:38: note: ‘<anonymous>’ declared here
 9138 |                             result = basic_json(value_t::discarded);
      |                                      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9169:32:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9169:34: note: ‘<anonymous>’ declared here
 9169 |                         result = basic_json(value_t::discarded);
      |                                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9222:24:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9222:26: note: ‘<anonymous>’ declared here
 9222 |                 result = basic_json(value_t::discarded);
      |                          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[ 81%] Linking CXX executable serializer
[ 81%] Building CXX object library/tactic/CMakeFiles/tactic.dir/vm_local_context.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 81%] Linking CXX executable bitap_fuzzy_search
[ 81%] Built target serializer
[ 82%] Building CXX object library/tactic/CMakeFiles/tactic.dir/vm_type_context.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 83%] Building CXX object library/CMakeFiles/library.dir/message_builder.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 83%] Building CXX object library/CMakeFiles/library.dir/module_mgr.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 83%] Building CXX object library/CMakeFiles/library.dir/comp_val.cpp.o
[ 83%] Building CXX object library/CMakeFiles/library.dir/documentation.cpp.o
[ 84%] Linking CXX executable trie
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 84%] Built target bitap_fuzzy_search
[ 85%] Building CXX object library/CMakeFiles/library.dir/check.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 85%] Building CXX object library/CMakeFiles/library.dir/parray.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 85%] Building CXX object library/CMakeFiles/library.dir/process.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 85%] Built target trie
[ 85%] Building CXX object library/CMakeFiles/library.dir/pipe.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 86%] Building CXX object library/CMakeFiles/library.dir/handle.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 86%] Building CXX object library/CMakeFiles/library.dir/profiling.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 86%] Linking CXX executable mpq
[ 86%] Building CXX object library/CMakeFiles/library.dir/time_task.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 86%] Linking CXX executable mpz
[ 86%] Building CXX object library/CMakeFiles/library.dir/abstract_context_cache.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 87%] Building CXX object library/CMakeFiles/library.dir/context_cache.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 87%] Built target mpq
[ 87%] Building CXX object library/CMakeFiles/library.dir/unique_id.cpp.o
[ 87%] Built target mpz
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 87%] Building CXX object library/CMakeFiles/library.dir/persistent_context_cache.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 87%] Building CXX object library/CMakeFiles/library.dir/elab_context.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 87%] Building CXX object library/CMakeFiles/library.dir/expr_address.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 88%] Building CXX object library/CMakeFiles/library.dir/tlean_exporter.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 88%] Building CXX object library/CMakeFiles/library.dir/ast_exporter.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
/workspace/lean-example/_target/deps/lean/src/library/documentation.cpp: In function ‘void lean::rtrim(std::string&)’:
/workspace/lean-example/_target/deps/lean/src/library/documentation.cpp:80:58: warning: ‘std::pointer_to_unary_function<_Arg, _Result> std::ptr_fun(_Result (*)(_Arg)) [with _Arg = int; _Result = int]’ is deprecated: use 'std::function' instead [-Wdeprecated-declarations]
   80 |                          std::not1(std::ptr_fun<int, int>(std::isspace))).base(), s.end());
      |                                    ~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~
In file included from /usr/include/c++/12/string:48,
                 from /workspace/lean-example/_target/deps/lean/src/library/documentation.cpp:7:
/usr/include/c++/12/bits/stl_function.h:1126:5: note: declared here
 1126 |     ptr_fun(_Result (*__x)(_Arg))
      |     ^~~~~~~
In file included from /workspace/lean-example/_target/deps/lean/src/frontends/lean/widget.cpp:19:
In destructor ‘lean::vdom::~vdom()’,
    inlined from ‘lean::optional<T>::~optional() [with T = lean::vdom]’ at /workspace/lean-example/_target/deps/lean/src/util/optional.h:47:23,
    inlined from ‘lean::vdom lean::render_element(const vm_obj&, std::vector<component_instance*>&, event_handlers&, const list<unsigned int>&)’ at /workspace/lean-example/_target/deps/lean/src/frontends/lean/widget.cpp:479:1:
/workspace/lean-example/_target/deps/lean/src/frontends/lean/widget.h:55:37: warning: ‘*(lean::vdom*)((char*)&tooltip + offsetof(lean::optional<lean::vdom>,lean::optional<lean::vdom>::<unnamed>)).lean::vdom::m_ptr’ may be used uninitialized [-Wmaybe-uninitialized]
   55 |   ~vdom() {if (m_ptr) m_ptr->dec_ref(); }
      |                       ~~~~~~~~~~~~~~^~
/workspace/lean-example/_target/deps/lean/src/frontends/lean/widget.cpp: In function ‘lean::vdom lean::render_element(const vm_obj&, std::vector<component_instance*>&, event_handlers&, const list<unsigned int>&)’:
/workspace/lean-example/_target/deps/lean/src/frontends/lean/widget.cpp:424:20: note: ‘*(lean::vdom*)((char*)&tooltip + offsetof(lean::optional<lean::vdom>,lean::optional<lean::vdom>::<unnamed>)).lean::vdom::m_ptr’ was declared here
  424 |     optional<vdom> tooltip;
      |                    ^~~~~~~
[ 88%] Built target vm
[ 88%] Built target tactic
/workspace/lean-example/_target/deps/lean/src/library/module_mgr.cpp: In member function ‘virtual std::shared_ptr<lean::module_info> lean::fs_module_vfs::load_module(const lean::module_id&, bool)’:
/workspace/lean-example/_target/deps/lean/src/library/module_mgr.cpp:494:40: warning: ‘*(long long unsigned int*)((char*)&src_hash + offsetof(lean::optional<long long unsigned int>,lean::optional<long long unsigned int>::<unnamed>))’ may be used uninitialized [-Wmaybe-uninitialized]
  494 |                 (!src_hash.has_value() || *src_hash == *olean_src_hash)) {
      |                 ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/workspace/lean-example/_target/deps/lean/src/library/module_mgr.cpp:478:22: note: ‘*(long long unsigned int*)((char*)&src_hash + offsetof(lean::optional<long long unsigned int>,lean::optional<long long unsigned int>::<unnamed>))’ was declared here
  478 |     optional<uint64> src_hash = {};
      |                      ^~~~~~~~
[ 88%] Built target lean_frontend
[ 88%] Built target library
[ 88%] Building CXX object tests/library/CMakeFiles/head_map.dir/head_map.cpp.o
[ 88%] Building CXX object tests/kernel/CMakeFiles/free_vars.dir/free_vars.cpp.o
[ 88%] Building CXX object tests/kernel/CMakeFiles/instantiate.dir/instantiate.cpp.o
[ 88%] Building CXX object tests/library/CMakeFiles/parray.dir/parray.cpp.o
[ 88%] Linking CXX static library libleanstatic.a
[ 89%] Building CXX object tests/kernel/CMakeFiles/environment.dir/environment.cpp.o
[ 89%] Building CXX object tests/library/CMakeFiles/occurs.dir/occurs.cpp.o
[ 89%] Building CXX object tests/kernel/CMakeFiles/level.dir/level.cpp.o
[ 89%] Building CXX object tests/kernel/CMakeFiles/expr.dir/expr.cpp.o
[ 89%] Building CXX object tests/library/CMakeFiles/expr_lt.dir/expr_lt.cpp.o
[ 89%] Building CXX object tests/kernel/CMakeFiles/max_sharing.dir/max_sharing.cpp.o
[ 89%] Building CXX object tests/kernel/CMakeFiles/replace.dir/replace.cpp.o
[ 90%] Building CXX object tests/frontends/lean/CMakeFiles/lean_scanner.dir/scanner.cpp.o
[ 90%] Building CXX object tests/library/CMakeFiles/phashtable.dir/phashtable.cpp.o
[ 91%] Building CXX object tests/library/CMakeFiles/delayed_abstraction.dir/delayed_abstraction.cpp.o
[ 91%] Building CXX object tests/library/CMakeFiles/deep_copy.dir/deep_copy.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 91%] Built target leanstatic
[ 91%] Building CXX object shell/CMakeFiles/lean.dir/lean.cpp.o
[ 91%] Building CXX object shell/CMakeFiles/lean_js.dir/lean_js_main.cpp.o
[ 91%] Building CXX object shell/CMakeFiles/lean_js.dir/lean_js.cpp.o
[ 91%] Building CXX object shell/CMakeFiles/lean.dir/server.cpp.o
[ 91%] Building CXX object shell/CMakeFiles/lean_js.dir/server.cpp.o
[ 91%] Building CXX object tests/shell/CMakeFiles/shell_test.dir/shell.cpp.o
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
cc1plus: note: disable pass tree-ifcombine for functions in the range of [0,<PHONE_NUMBER>]
[ 91%] Linking CXX executable shell_test
[ 91%] Linking CXX executable deep_copy
[ 92%] Linking CXX executable instantiate
[ 92%] Linking CXX executable max_sharing
[ 93%] Linking CXX executable occurs
In file included from /workspace/lean-example/_target/deps/lean/src/library/phashtable.h:10,
                 from /workspace/lean-example/_target/deps/lean/src/tests/library/phashtable.cpp:18:
/workspace/lean-example/_target/deps/lean/src/library/parray.h: In instantiation of ‘static lean::parray<T, ThreadSafe>::cell* lean::parray<T, ThreadSafe>::copy(unsigned int, cell*, const cell_buffer&) [with T = lean::default_map_entry<unsigned int, unsigned int>; bool ThreadSafe = true; cell_buffer = lean::buffer<lean::parray<lean::default_map_entry<unsigned int, unsigned int>, true>::cell*, 1024>]’:
/workspace/lean-example/_target/deps/lean/src/library/parray.h:349:32:   required from ‘static void lean::parray<T, ThreadSafe>::reroot(cell*) [with T = lean::default_map_entry<unsigned int, unsigned int>; bool ThreadSafe = true]’
/workspace/lean-example/_target/deps/lean/src/library/parray.h:662:23:   required from ‘lean::parray<T, ThreadSafe>::exclusive_access::exclusive_access(lean::parray<T, ThreadSafe>&) [with T = lean::default_map_entry<unsigned int, unsigned int>; bool ThreadSafe = true]’
/workspace/lean-example/_target/deps/lean/src/library/phashtable.h:188:42:   required from ‘void lean::phashtable_core<Entry, HashProc, EqProc, ThreadSafe>::insert(const data&) [with Entry = lean::default_map_entry<unsigned int, unsigned int>; HashProc = lean::phashtable2map<lean::default_map_entry<unsigned int, unsigned int>, std::hash<unsigned int>, std::equal_to<unsigned int>, true>::entry_hash_proc; EqProc = lean::phashtable2map<lean::default_map_entry<unsigned int, unsigned int>, std::hash<unsigned int>, std::equal_to<unsigned int>, true>::entry_eq_proc; bool ThreadSafe = true; data = lean::key_value_pair<unsigned int, unsigned int>]’
/workspace/lean-example/_target/deps/lean/src/library/phash_map.h:86:23:   required from ‘void lean::phashtable2map<Entry, HashProc, EqProc, ThreadSafe>::insert(const key&, const value&) [with Entry = lean::default_map_entry<unsigned int, unsigned int>; HashProc = std::hash<unsigned int>; EqProc = std::equal_to<unsigned int>; bool ThreadSafe = true; key = unsigned int; value = unsigned int]’
/workspace/lean-example/_target/deps/lean/src/tests/library/phashtable.cpp:149:13:   required from here
/workspace/lean-example/_target/deps/lean/src/library/parray.h:290:17: warning: implicitly-declared ‘lean::default_map_entry<unsigned int, unsigned int>::default_map_entry(const lean::default_map_entry<unsigned int, unsigned int>&)’ is deprecated [-Wdeprecated-copy]
  290 |                 new (r->m_values + r->m_size) T(p->elem());
      |                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /workspace/lean-example/_target/deps/lean/src/tests/library/phashtable.cpp:19:
/workspace/lean-example/_target/deps/lean/src/library/phash_map.h:34:25: note: because ‘lean::default_map_entry<unsigned int, unsigned int>’ has user-provided ‘lean::default_map_entry<Key, Value>& lean::default_map_entry<Key, Value>::operator=(const lean::default_map_entry<Key, Value>&) [with Key = unsigned int; Value = unsigned int]’
   34 |     default_map_entry & operator=(default_map_entry const & src) {
      |                         ^~~~~~~~
/workspace/lean-example/_target/deps/lean/src/library/parray.h: In instantiation of ‘static void lean::parray<T, ThreadSafe>::reroot(cell*, cell*, const cell_buffer&) [with T = lean::default_map_entry<unsigned int, unsigned int>; bool ThreadSafe = true; cell_buffer = lean::buffer<lean::parray<lean::default_map_entry<unsigned int, unsigned int>, true>::cell*, 1024>]’:
/workspace/lean-example/_target/deps/lean/src/library/parray.h:356:19:   required from ‘static void lean::parray<T, ThreadSafe>::reroot(cell*) [with T = lean::default_map_entry<unsigned int, unsigned int>; bool ThreadSafe = true]’
/workspace/lean-example/_target/deps/lean/src/library/parray.h:662:23:   required from ‘lean::parray<T, ThreadSafe>::exclusive_access::exclusive_access(lean::parray<T, ThreadSafe>&) [with T = lean::default_map_entry<unsigned int, unsigned int>; bool ThreadSafe = true]’
/workspace/lean-example/_target/deps/lean/src/library/phashtable.h:188:42:   required from ‘void lean::phashtable_core<Entry, HashProc, EqProc, ThreadSafe>::insert(const data&) [with Entry = lean::default_map_entry<unsigned int, unsigned int>; HashProc = lean::phashtable2map<lean::default_map_entry<unsigned int, unsigned int>, std::hash<unsigned int>, std::equal_to<unsigned int>, true>::entry_hash_proc; EqProc = lean::phashtable2map<lean::default_map_entry<unsigned int, unsigned int>, std::hash<unsigned int>, std::equal_to<unsigned int>, true>::entry_eq_proc; bool ThreadSafe = true; data = lean::key_value_pair<unsigned int, unsigned int>]’
/workspace/lean-example/_target/deps/lean/src/library/phash_map.h:86:23:   required from ‘void lean::phashtable2map<Entry, HashProc, EqProc, ThreadSafe>::insert(const key&, const value&) [with Entry = lean::default_map_entry<unsigned int, unsigned int>; HashProc = std::hash<unsigned int>; EqProc = std::equal_to<unsigned int>; bool ThreadSafe = true; key = unsigned int; value = unsigned int]’
/workspace/lean-example/_target/deps/lean/src/tests/library/phashtable.cpp:149:13:   required from here
/workspace/lean-example/_target/deps/lean/src/library/parray.h:222:17: warning: implicitly-declared ‘lean::default_map_entry<unsigned int, unsigned int>::default_map_entry(const lean::default_map_entry<unsigned int, unsigned int>&)’ is deprecated [-Wdeprecated-copy]
  222 |                 new (vs + sz) T(p->elem());
      |                 ^~~~~~~~~~~~~~~~~~~~~~~~~~
/workspace/lean-example/_target/deps/lean/src/library/phash_map.h:34:25: note: because ‘lean::default_map_entry<unsigned int, unsigned int>’ has user-provided ‘lean::default_map_entry<Key, Value>& lean::default_map_entry<Key, Value>::operator=(const lean::default_map_entry<Key, Value>&) [with Key = unsigned int; Value = unsigned int]’
   34 |     default_map_entry & operator=(default_map_entry const & src) {
      |                         ^~~~~~~~
/workspace/lean-example/_target/deps/lean/src/library/parray.h: In instantiation of ‘static T* lean::parray<T, ThreadSafe>::mk_elem_copy(const T&) [with T = lean::default_map_entry<unsigned int, unsigned int>; bool ThreadSafe = true]’:
/workspace/lean-example/_target/deps/lean/src/library/parray.h:432:49:   required from ‘static lean::parray<T, ThreadSafe>::cell* lean::parray<T, ThreadSafe>::write_aux(cell*, size_t, const T&) [with T = lean::default_map_entry<unsigned int, unsigned int>; bool ThreadSafe = true; size_t = long unsigned int]’
/workspace/lean-example/_target/deps/lean/src/library/parray.h:685:39:   required from ‘void lean::parray<T, ThreadSafe>::exclusive_access::set(size_t, const T&) [with T = lean::default_map_entry<unsigned int, unsigned int>; bool ThreadSafe = true; size_t = long unsigned int]’
/workspace/lean-example/_target/deps/lean/src/library/phashtable.h:197:13:   required from ‘void lean::phashtable_core<Entry, HashProc, EqProc, ThreadSafe>::insert(const data&) [with Entry = lean::default_map_entry<unsigned int, unsigned int>; HashProc = lean::phashtable2map<lean::default_map_entry<unsigned int, unsigned int>, std::hash<unsigned int>, std::equal_to<unsigned int>, true>::entry_hash_proc; EqProc = lean::phashtable2map<lean::default_map_entry<unsigned int, unsigned int>, std::hash<unsigned int>, std::equal_to<unsigned int>, true>::entry_eq_proc; bool ThreadSafe = true; data = lean::key_value_pair<unsigned int, unsigned int>]’
/workspace/lean-example/_target/deps/lean/src/library/phash_map.h:86:23:   required from ‘void lean::phashtable2map<Entry, HashProc, EqProc, ThreadSafe>::insert(const key&, const value&) [with Entry = lean::default_map_entry<unsigned int, unsigned int>; HashProc = std::hash<unsigned int>; EqProc = std::equal_to<unsigned int>; bool ThreadSafe = true; key = unsigned int; value = unsigned int]’
/workspace/lean-example/_target/deps/lean/src/tests/library/phashtable.cpp:149:13:   required from here
/workspace/lean-example/_target/deps/lean/src/library/parray.h:174:16: warning: implicitly-declared ‘lean::default_map_entry<unsigned int, unsigned int>::default_map_entry(const lean::default_map_entry<unsigned int, unsigned int>&)’ is deprecated [-Wdeprecated-copy]
  174 |         return new (get_elem_allocator().allocate()) T(e);
      |                ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/workspace/lean-example/_target/deps/lean/src/library/phash_map.h:34:25: note: because ‘lean::default_map_entry<unsigned int, unsigned int>’ has user-provided ‘lean::default_map_entry<Key, Value>& lean::default_map_entry<Key, Value>::operator=(const lean::default_map_entry<Key, Value>&) [with Key = unsigned int; Value = unsigned int]’
   34 |     default_map_entry & operator=(default_map_entry const & src) {
      |                         ^~~~~~~~
[ 94%] Linking CXX executable level
[ 95%] Linking CXX executable expr_lt
[ 96%] Linking CXX executable free_vars
[ 97%] Linking CXX executable replace
[ 97%] Built target shell_test
[ 97%] Linking CXX executable delayed_abstraction
[ 97%] Linking CXX executable environment
[ 97%] Linking CXX executable lean_scanner
[ 97%] Built target deep_copy
[ 97%] Built target instantiate
[ 97%] Built target max_sharing
[ 97%] Built target expr_lt
[ 97%] Built target occurs
[ 97%] Built target level
[ 97%] Built target free_vars
[ 97%] Built target replace
[ 98%] Linking CXX executable head_map
[ 98%] Built target delayed_abstraction
[ 98%] Built target environment
[ 98%] Built target lean_scanner
[ 98%] Linking CXX executable parray
[ 98%] Linking CXX executable expr
[ 98%] Built target head_map
In file included from /usr/include/c++/12/bits/new_allocator.h:36,
                 from /usr/include/c++/12/x86_64-redhat-linux/bits/c++allocator.h:33,
                 from /usr/include/c++/12/bits/allocator.h:46,
                 from /usr/include/c++/12/string:41,
                 from /workspace/lean-example/_target/deps/lean/src/shell/lean_js.cpp:7:
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9059:36:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
In file included from /workspace/lean-example/_target/deps/lean/src/util/lean_json.h:9,
                 from /workspace/lean-example/_target/deps/lean/src/kernel/expr.h:19,
                 from /workspace/lean-example/_target/deps/lean/src/kernel/pos_info_provider.h:10,
                 from /workspace/lean-example/_target/deps/lean/src/library/abstract_parser.h:13,
                 from /workspace/lean-example/_target/deps/lean/src/frontends/lean/parser_state.h:12,
                 from /workspace/lean-example/_target/deps/lean/src/frontends/lean/module_parser.h:14,
                 from /workspace/lean-example/_target/deps/lean/src/library/module_mgr.h:13,
                 from /workspace/lean-example/_target/deps/lean/src/shell/lean_js.cpp:8:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9059:38: note: ‘<anonymous>’ declared here
 9059 |                             result = basic_json(value_t::discarded);
      |                                      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9113:32:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9113:34: note: ‘<anonymous>’ declared here
 9113 |                         result = basic_json(value_t::discarded);
      |                                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9138:36:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9138:38: note: ‘<anonymous>’ declared here
 9138 |                             result = basic_json(value_t::discarded);
      |                                      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9169:32:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9169:34: note: ‘<anonymous>’ declared here
 9169 |                         result = basic_json(value_t::discarded);
      |                                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9222:24:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9222:26: note: ‘<anonymous>’ declared here
 9222 |                 result = basic_json(value_t::discarded);
      |                          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[ 99%] Linking CXX executable phashtable
[ 99%] Built target parray
[ 99%] Built target expr
[ 99%] Built target phashtable
In file included from /usr/include/c++/12/bits/stl_pair.h:61,
                 from /usr/include/c++/12/bits/stl_algobase.h:64,
                 from /usr/include/c++/12/list:60,
                 from /workspace/lean-example/_target/deps/lean/src/shell/server.cpp:14:
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9059:36:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
In file included from /workspace/lean-example/_target/deps/lean/src/util/lean_json.h:9,
                 from /workspace/lean-example/_target/deps/lean/src/kernel/expr.h:19,
                 from /workspace/lean-example/_target/deps/lean/src/kernel/pos_info_provider.h:10,
                 from /workspace/lean-example/_target/deps/lean/src/library/abstract_parser.h:13,
                 from /workspace/lean-example/_target/deps/lean/src/frontends/lean/parser_state.h:12,
                 from /workspace/lean-example/_target/deps/lean/src/frontends/lean/module_parser.h:14,
                 from /workspace/lean-example/_target/deps/lean/src/shell/server.cpp:19:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9059:38: note: ‘<anonymous>’ declared here
 9059 |                             result = basic_json(value_t::discarded);
      |                                      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9113:32:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9113:34: note: ‘<anonymous>’ declared here
 9113 |                         result = basic_json(value_t::discarded);
      |                                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9138:36:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9138:38: note: ‘<anonymous>’ declared here
 9138 |                             result = basic_json(value_t::discarded);
      |                                      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9169:32:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9169:34: note: ‘<anonymous>’ declared here
 9169 |                         result = basic_json(value_t::discarded);
      |                                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9222:24:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9222:26: note: ‘<anonymous>’ declared here
 9222 |                 result = basic_json(value_t::discarded);
      |                          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /usr/include/c++/12/bits/stl_pair.h:61,
                 from /usr/include/c++/12/bits/stl_algobase.h:64,
                 from /usr/include/c++/12/list:60,
                 from /workspace/lean-example/_target/deps/lean/src/shell/server.cpp:14:
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9059:36:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
In file included from /workspace/lean-example/_target/deps/lean/src/util/lean_json.h:9,
                 from /workspace/lean-example/_target/deps/lean/src/kernel/expr.h:19,
                 from /workspace/lean-example/_target/deps/lean/src/kernel/pos_info_provider.h:10,
                 from /workspace/lean-example/_target/deps/lean/src/library/abstract_parser.h:13,
                 from /workspace/lean-example/_target/deps/lean/src/frontends/lean/parser_state.h:12,
                 from /workspace/lean-example/_target/deps/lean/src/frontends/lean/module_parser.h:14,
                 from /workspace/lean-example/_target/deps/lean/src/shell/server.cpp:19:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9059:38: note: ‘<anonymous>’ declared here
 9059 |                             result = basic_json(value_t::discarded);
      |                                      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9113:32:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9113:34: note: ‘<anonymous>’ declared here
 9113 |                         result = basic_json(value_t::discarded);
      |                                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9138:36:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9138:38: note: ‘<anonymous>’ declared here
 9138 |                             result = basic_json(value_t::discarded);
      |                                      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9169:32:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9169:34: note: ‘<anonymous>’ declared here
 9169 |                         result = basic_json(value_t::discarded);
      |                                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::_Require<std::__not_<std::__is_tuple_like<_Tp> >, std::is_move_constructible<_Tp>, std::is_move_assignable<_Tp> > std::swap(_Tp&, _Tp&) [with _Tp = nlohmann::basic_json<>::json_value]’,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::value_type& nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::operator=(nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:2103:13,
    inlined from ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’ at /workspace/lean-example/_target/deps/lean/src/util/json.hpp:9222:24:
/usr/include/c++/12/bits/move.h:205:7: warning: ‘<unnamed>.nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, bool, long int, long unsigned int, double, std::allocator>::m_value’ may be used uninitialized [-Wmaybe-uninitialized]
  205 |       __a = _GLIBCXX_MOVE(__b);
      |       ^~~
/workspace/lean-example/_target/deps/lean/src/util/json.hpp: In member function ‘nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType> nlohmann::basic_json<ObjectType, ArrayType, StringType, BooleanType, NumberIntegerType, NumberUnsignedType, NumberFloatType, AllocatorType>::parser::parse_internal(bool) [with ObjectType = std::map; ArrayType = std::vector; StringType = std::__cxx11::basic_string<char>; BooleanType = bool; NumberIntegerType = long int; NumberUnsignedType = long unsigned int; NumberFloatType = double; AllocatorType = std::allocator]’:
/workspace/lean-example/_target/deps/lean/src/util/json.hpp:9222:26: note: ‘<anonymous>’ declared here
 9222 |                 result = basic_json(value_t::discarded);
      |                          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[100%] Linking CXX executable lean
[100%] Linking CXX executable lean_js
[100%] Built target lean
[100%] Built target bin_lean
[100%] Built target lean_js
[100%] Built target standard_lib
[100%] Built target leanpkg
configuring lean-example 0.1
2023-07-08 03:23:21.923 | INFO     | __main__:main:143 - Tracing lean-example
  0%|          | 0/1585 [00:00<?, ?it/s]2023-07-07 20:23:36.927 | DEBUG    | lean_dojo.data_extraction.traced_data:from_traced_files:1199 - Parsing 164 *.ast.json files in /raid/kaiyu/tmp/tmpukon9kz5/lean-example with 31 workers
2023-07-07 20:23:38,901 INFO worker.py:1627 -- Started a local Ray instance. View the dashboard at <IP_ADDRESS>:8265
100%|████████████████████████████████████████████| 164/164 [00:04<00:00, 35.18it/s]
2023-07-07 20:23:47.883 | DEBUG    | lean_dojo.data_extraction.lean:__post_init__:312 - Querying the commit hash for lean v3.50.3
2023-07-07 20:23:51.952 | DEBUG    | lean_dojo.data_extraction.traced_data:save_to_disk:1246 - Saving 164 traced XML files to /raid/kaiyu/tmp/tmpukon9kz5/lean-example with 31 workers
2023-07-07 20:23:53,705 INFO worker.py:1627 -- Started a local Ray instance. View the dashboard at <IP_ADDRESS>:8265
100%|████████████████████████████████████████████| 164/164 [00:03<00:00, 53.26it/s]
2023-07-07 20:24:01.839 | INFO     | lean_dojo.data_extraction.trace:trace:164 - Loading the traced repo from /home/kaiyu/.cache/lean_dojo/Some-random-lean-example-4067a13790e7d02af9cda2f4ab249b3f88ff9884/lean-example
2023-07-07 20:24:01.861 | DEBUG    | lean_dojo.data_extraction.traced_data:load_from_disk:1273 - Loading 164 traced XML files from /raid/kaiyu/.cache/lean_dojo/Some-random-lean-example-4067a13790e7d02af9cda2f4ab249b3f88ff9884/lean-example with 31 workers
2023-07-07 20:24:03,616 INFO worker.py:1627 -- Started a local Ray instance. View the dashboard at <IP_ADDRESS>:8265
100%|████████████████████████████████████████████| 164/164 [00:05<00:00, 28.59it/s]
2023-07-07 20:24:13.873 | DEBUG    | lean_dojo.data_extraction.lean:__post_init__:312 - Querying the commit hash for lean v3.50.3
Out[1]: TracedRepo(repo=LeanGitRepo(url='https://github.com/Some-random/lean-example', commit='4067a13790e7d02af9cda2f4ab249b3f88ff9884'), dependencies={'lean': LeanGitRepo(url='https://github.com/leanprover-community/lean', commit='855e5b74e3a52a40552e8f067169d747d48743fd')}, root_dir=PosixPath('/raid/kaiyu/.cache/lean_dojo/Some-random-lean-example-4067a13790e7d02af9cda2f4ab249b3f88ff9884/lean-example'))

Thanks for the detailed log! I've actually solved this problem by downgrading python to 3.9 (was using 3.10). Looks like the error might be related to type hints introduced in python 3.9.

Hmm.. I'm not sure if that's the problem. I was also using 3.10. But I'm glad it's resolved.


Problem in Key section.

I am facing problem in key section.
const TABLE_COLUMNS = [
  {
    key: 'names',
  }

Below is my Input data.
const TABLE_DATA = [
  {
    names:{
             name:"ABC"
    },
   names:{
             name:"XYZ"
    }
}

Is it possible with Datatable?

@tandonrajiv You can define your own render function for the columns. for example,
// column settings
{
  key: 'names',
  render: (names, all) => <p>{names.name}</p>,
}

@tandonrajiv I close this issue but if you have any problem related this issue, pls let me know.


[qwik-graphql-tailwind] P3: Make Single GraphQL Endpoint

In GraphQL, you only have 1 endpoint typically. Why not just make this a useStarterQuery and always default to the starter.dev backend as a demonstration

I think there is a reason why we use it as a param, also check the other pods and use the URL as a param too, so worth it change in this pod only?

It's probably fine as a general-use connection but every component that would use this now has to know how to pass the URL in where in a GraphQL project, you're typically aiming to have 1 endpoint for the whole project. Hence, you have to write more code to produce the same result in many places. There are 2 ways to fix this IMO:

Another hook that wraps this for a specific use case
Just set this globally at the component level

I think both options are viable depending on the project and the decisions you want to make.


Gke connectedmode

Switch GKE Data services scenarios to use connected mode. Also includes new "combined" format with one set of automation for "vanilla" and SQL MI.
PostgreSQL is not included at this time.

PostgreSQL is now include


Incorrect coding feedback

Issue Type: Bug
--> Add css to an (in this case: input) element saying: "display: inline; width: auto;"
It will put a green line underneath the width property stating that this will be ignored due to the element being set to "display: inline". But this is incorrect. I even tested it, it works and it is even needed to undo a "width: 100%" set by Bootstrap. I would add a screenshot or two if this form would have that option.
VS Code version: Code - Insiders 1.32.0-insider (507312a3e3b34b084b467dfd983263bc7c9d87e0, 2019-03-06T11:10:01.691Z)
OS version: Darwin x64 18.2.0

System Info

Item
Value

CPUs
Intel(R) Core(TM) i7-7820HQ CPU @ 2.90GHz (8 x 2900)

GPU Status
2d_canvas: enabledchecker_imaging: disabled_offflash_3d: enabledflash_stage3d: enabledflash_stage3d_baseline: enabledgpu_compositing: enabledmultiple_raster_threads: enabled_onnative_gpu_memory_buffers: enabledrasterization: enabledsurface_synchronization: enabled_onvideo_decode: enabledwebgl: enabledwebgl2: enabled

Load (avg)
1, 2, 2

Memory (System)
16.00GB (3.54GB free)

Process Argv
-psn_0_40970

Screen Reader
no

VM
0%

Extensions: none

Close due to duplicate:
https://github.com/Microsoft/vscode/issues/56907


indices mixing

I have encountered an issue. in the onSnapToItemI do the following:
const { app, project, } = this.props.navigation.state.params;
...
<Carousel
...
loop={true}
loopClonesPerSide={10}
onSnapToItem={(index) => {
    console.log('current index of the Card is ', index);
    if (app[index].project._id != project._id) {
        console.log('blah');
    }
    // later usage of app[index] is not possible
    // when scrolling fast into the left direction, this sets index to negative value
}}
/>

I have three Cards and do 10 clones per side in order to catch up on the gaps at the edges (my previous issue described in #12). I get the print outs of the indices, and when I scroll fast than I get negative index, which is wrong as I want to check on app[index].
this is a print out of Chrom console.log(...)
@

I tried to play with loopClonesPerSide setting it to 3 and 5.
Setting it to 3 with carousel of 3 cards does not break the app, as the indices of newly added cards on the left side do not exceed 2,1,0;
In case of loopClonesPerSide={5} scrolling fast to the left edge before the new cards are added makes the index set to -2, and scrolling to the last card on the right side sets the index to 4. which is out of scope of the cards array.

As a work around maybe implement a new property for Carousel, which is move to next card at swipe and not further. Which is not a better solution as we want to scroll fast enough as we want and not go to the lets say 30's card one by one.

@6axter82 Regarding your issue, are you able to reproduce it in a production environment? As stated in this very important note, you unfortunately can't trust carousel's behavior in a debug environment on Android.
Note that there already is a prop that allows something along the lines of "slide by slide" scrolling: lockScrollWhileSnapping. It is kind of a hack because, ultimately, we've got no granular control over the underlying ScrollView.
Regarding the "jump" you're experiencing, it is linked to the fact that the scroll position is, indeed, repositioned when a clone or an edge has been reached. On iOS it works flawlessly, but on Android there sometimes is an ugly flicker. So far, I haven't been able to get to the root of the issue, even though I know that, again, it has to do with ScrollView's implementation. But Android is so random and buggy that this is a real nightmare to understand...

Well, forget about the app environment. I can see where the issue is coming from:
    _getDataIndex (index) {
        const { data, loopClonesPerSide } = this.props;
        const dataLength = data && data.length;

        if (!this._enableLoop() || !dataLength) {
            return index;
        }

        if (index >= dataLength + loopClonesPerSide) {
            return index - dataLength - loopClonesPerSide;
        } else if (index < loopClonesPerSide) {
            return index + dataLength - loopClonesPerSide;
        } else {
            return index - loopClonesPerSide;
        }
    }

Clearly, this will return negative values if loopClonesPerSide is bigger than data's length. I'm going to work on a fix right away!

@6axter82 This wasn't that easy, but this commit should fix the issue.
Can you try it and confirm that it works for you?

Hey, I tried, it works nice!

Good to know. The fix has been published in version 3.3.4 ;-)


Add README and move backend logic to nodeServer

This PR

Add README
Move backend pod and svc creation to nodePublishVolume() for static provisioning

LGTM


Cannot run two nodes

Following the gm tutorial, after spinning up a sequencer and sucesfully querying it, attempting to start a separate full node in another terminal does not work.
To replicate:

follow the gm-world tutorial to start an aggregator node
start a full node like so, but ensure that NAMESPACE_ID, DA_BLOCK_HEIGHT, and the p2p-seed corresponds correctly with the other node

#!/bin/sh

#VALIDATOR_NAME=validator1
#CHAIN_ID=gm
#KEY_NAME=gm-key
#CHAINFLAG="--chain-id ${CHAIN_ID}"
#TOKEN_AMOUNT="10000000000000000000000000stake"
#STAKING_AMOUNT="1000000000stake"

CHAIN_ID=gm
BASE_DIR="$HOME/.fn_gm"

rm -rf $BASE_DIR

gmd --home "$BASE_DIR" init FullNode --chain-id $CHAIN_ID

cp -R "$HOME/.gm/config/genesis.json" "$BASE_DIR/config/genesis.json"

NAMESPACE_ID="27e3b546191d5fbb"
DA_BLOCK_HEIGHT=2

#ignite chain build
#gmd tendermint unsafe-reset-all
#gmd init $VALIDATOR_NAME --chain-id $CHAIN_ID

#gmd keys add $KEY_NAME --keyring-backend test
#gmd add-genesis-account $KEY_NAME $TOKEN_AMOUNT --keyring-backend test
#gmd gentx $KEY_NAME $STAKING_AMOUNT --chain-id $CHAIN_ID --keyring-backend test
#gmd collect-gentxs

gmd --home $BASE_DIR start --log_level debug --rollkit.da_layer celestia --rollkit.da_config='{"base_url":"http://localhost:26659/","timeout":60000000000,"fee":6000,"gas_limit":6000000}' --rollkit.namespace_id $NAMESPACE_ID --rollkit.da_start_height $DA_BLOCK_HEIGHT --rpc.laddr tcp://<IP_ADDRESS>:36657 --grpc.address <IP_ADDRESS>:9390 --grpc-web.address <IP_ADDRESS>:9391 --p2p.seeds "12D3KooWBCEw2FP3pJ7K8ALVhFpW8JW5KzLerp87AVAm2En2fjJp@<IP_ADDRESS>:26656" --p2p.laddr "<IP_ADDRESS>:36656"

Query the second node like so: curl localhost:36657/block\?height=1
Observe that it does not find block 1

might be related to https://github.com/rollkit/rollkit/issues/809

This is resolved after testing of p2p blocksync changes. Was tested as part of updating: https://github.com/rollkit/docs/pull/241/files
confirmed that I'm able to run two nodes and they're able to sync blocks that are queryable.


[9.x] Added ability to assert that event Listeners were pushed to Queue

Summary
This PR allows asserting that event listeners are pushed into the queue. Currently, Event::assertListening() exists for this but this allows the developer to ensure that the listener was pushed into the queue.
Queue::assertListenerPushed allows asserting if listener was pushed, if it was pushed X times, and even accepts a truth-test callback similar to Queue::assertPushed

I'm not sure I see the value of this test specifically? You can test if the listener is attaching to the event - as long as the listener has the ShouldQueue interface it will be queued. Am I wrong?

Hi @taylorotwell
When a Listener is queued, the listener class itself is not queued but instead a CallQueuedListener class which holds the Listener object. My reasoning is to simplify assertions when testing Listeners we want queued and not directly dispatched.
For directly dispatched, we can use the Event::assertListening helper.
Hope it makes sense.


Potential bug with answer-relevance assertion calculation

I was doing some cross-checks with my own test data when I notice that there might be several bugs within the answer-relevance assertion calculation. I am not sure if these are intentional or not:

ANSWER_RELEVANCY_GENERATE prompt only uses single curly brackets for the answer variable. This means that even though we try to render the value, the answer value won't be populated to the {answer} part of the string
Link: https://github.com/promptfoo/promptfoo/blob/e42a24c00ce1ce6d757c6256c4d53119f79f97ef/src/external/ragas.ts#L10

ANSWER_RELEVANCY_GENERATE is being passed to callApi without first being rendered through nunjucks.renderString, meaning all the prompts used for this part of the calculation flow would be the same no matter what is the answer value for the given row unit.
Link:
https://github.com/promptfoo/promptfoo/blob/e42a24c00ce1ce6d757c6256c4d53119f79f97ef/src/matchers.ts#L528C9-L528C34

Shouldn't the value passed to the matchesAnswerRelevance input arg be test.vars.query instead of prompt?
Link: https://github.com/promptfoo/promptfoo/blob/e42a24c00ce1ce6d757c6256c4d53119f79f97ef/src/assertions.ts#L884

Also I am not sure if the ANSWER_RELEVANCY_GENERATE prompt has enough few-shot examples to make it work

Closing the issue as the PR for the fix is merged