gluon-lang / gluon_language-server Goto Github PK

type Digit a =
    | One a
    | Two a a
    | Three a a a
    | Four a a a a

type Node b =
    | Node2 b b
    | Node3 b b b

type FingerTree c =
    | Empty
    | Single c
    | Deep (Digit c) (FingerTree (Node c)) (Digit c)

type View d =
    | Nil
    | View d (FingerTree d)

rec let viewl xs : FingerTree e -> View e =
    match xs with
    | Empty -> Nil
    | Single x -> View x Empty
    | Deep (One a) deeper suffix ->
        match viewl deeper with
        | View (Node2 b c) rest -> View a (Deep (Two b c) rest suffix)
        | View (Node3 b c d) rest -> View a (Deep (Three b c d) rest suffix)
        | Nil ->
            match suffix with
            | One w -> View a (Single w)
            | Two w x -> View a (Deep (One w) Empty (One x))
            | Three w x y -> View a (Deep (Two w x) Empty (One y))
            | Four w x y z -> View a (Deep (Three w x y) Empty (One z))
    | Deep (Two a b) deeper suffix -> View a (Deep (One b) deeper suffix)
    | Deep (Three a b c) deeper suffix -> View a (Deep (Two b c) deeper suffix)
    | Deep (Four a b c d) deeper suffix -> View a (Deep (Three b c d) deeper suffix)
viewl

...
   Compiling gluon_parser v0.9.2
   Compiling gluon_format v0.9.2
   Compiling gluon_format v0.9.2
   Compiling gluon_language-server v0.9.0
error[E0507]: cannot move out of borrowed content
   --> src/lib.rs:984:47
    |
984 |                     .map(|(k, v)| (k.clone(), *v))
    |                                               ^^ cannot move out of borrowed content

error: aborting due to previous error

For more information about this error, try `rustc --explain E0507`.
error: failed to compile `gluon_language-server v0.9.0`, intermediate artifacts can be found at `/var/folders/bk/ln25956d4l3gsdg7lchhf6cw0000gp/T/cargo-installar97y6`

Caused by:
  Could not compile `gluon_language-server`.

To learn more, run the command again with --verbose.
 !  docker-for-desktop  ~/code ```

type T a =
    | Empty


type U a = (T a, T a)


()

thread 'main' panicked at 'attempt to subtract with overflow', src/lib.rs:69:17
stack backtrace:
   0: backtrace::backtrace::libunwind::trace
             at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86
   1: backtrace::backtrace::trace_unsynchronized
             at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66
   2: std::sys_common::backtrace::_print_fmt
             at src/libstd/sys_common/backtrace.rs:78
   3: <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt
             at src/libstd/sys_common/backtrace.rs:59
   4: core::fmt::write
             at src/libcore/fmt/mod.rs:1076
   5: std::io::Write::write_fmt
             at src/libstd/io/mod.rs:1537
   6: std::sys_common::backtrace::_print
             at src/libstd/sys_common/backtrace.rs:62
   7: std::sys_common::backtrace::print
             at src/libstd/sys_common/backtrace.rs:49
   8: std::panicking::default_hook::{{closure}}
             at src/libstd/panicking.rs:198
   9: std::panicking::default_hook
             at src/libstd/panicking.rs:218
  10: std::panicking::rust_panic_with_hook
             at src/libstd/panicking.rs:486
  11: rust_begin_unwind
             at src/libstd/panicking.rs:388
  12: core::panicking::panic_fmt
             at src/libcore/panicking.rs:101
  13: core::panicking::panic
             at src/libcore/panicking.rs:56
  14: gluon_language_server::byte_span_to_range
             at src/lib.rs:69
  15: gluon_language_server::command::completion_symbol_to_document_symbol
             at src/command/mod.rs:145
  16: gluon_language_server::command::completion_symbols_to_document_symbols_inner::{{closure}}
             at src/command/mod.rs:130
  17: core::iter::adapters::map_try_fold::{{closure}}
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/adapters/mod.rs:837
  18: core::iter::adapters::filter_try_fold::{{closure}}
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/adapters/mod.rs:979
  19: core::iter::traits::iterator::Iterator::try_fold
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/traits/iterator.rs:1889
  20: <core::iter::adapters::Filter<I,P> as core::iter::traits::iterator::Iterator>::try_fold
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/adapters/mod.rs:1028
  21: <core::iter::adapters::Map<I,F> as core::iter::traits::iterator::Iterator>::try_fold
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/adapters/mod.rs:863
  22: <core::iter::adapters::ResultShunt<I,E> as core::iter::traits::iterator::Iterator>::try_fold
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/adapters/mod.rs:2631
  23: core::iter::traits::iterator::Iterator::find
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/traits/iterator.rs:2231
  24: <core::iter::adapters::ResultShunt<I,E> as core::iter::traits::iterator::Iterator>::next
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/adapters/mod.rs:2613
  25: <alloc::vec::Vec<T> as alloc::vec::SpecExtend<T,I>>::from_iter
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/liballoc/vec.rs:2076
  26: <alloc::vec::Vec<T> as core::iter::traits::collect::FromIterator<T>>::from_iter
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/liballoc/vec.rs:1978
  27: core::iter::traits::iterator::Iterator::collect
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/traits/iterator.rs:1671
  28: <core::result::Result<V,E> as core::iter::traits::collect::FromIterator<core::result::Result<A,E>>>::from_iter::{{closure}}
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/result.rs:1537
  29: core::iter::adapters::process_results
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/adapters/mod.rs:2602
  30: <core::result::Result<V,E> as core::iter::traits::collect::FromIterator<core::result::Result<A,E>>>::from_iter
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/result.rs:1537
  31: core::iter::traits::iterator::Iterator::collect
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/traits/iterator.rs:1671
  32: gluon_language_server::command::completion_symbols_to_document_symbols_inner
             at src/command/mod.rs:120
  33: gluon_language_server::command::completion_symbol_to_document_symbol
             at src/command/mod.rs:165
  34: gluon_language_server::command::completion_symbols_to_document_symbols_inner::{{closure}}
             at src/command/mod.rs:130
  35: core::iter::adapters::map_try_fold::{{closure}}
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/adapters/mod.rs:837
  36: core::iter::adapters::filter_try_fold::{{closure}}
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/adapters/mod.rs:979
  37: core::iter::traits::iterator::Iterator::try_fold
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/traits/iterator.rs:1889
  38: <core::iter::adapters::Filter<I,P> as core::iter::traits::iterator::Iterator>::try_fold
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/adapters/mod.rs:1028
  39: <core::iter::adapters::Map<I,F> as core::iter::traits::iterator::Iterator>::try_fold
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/adapters/mod.rs:863
  40: <core::iter::adapters::ResultShunt<I,E> as core::iter::traits::iterator::Iterator>::try_fold
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/adapters/mod.rs:2631
  41: core::iter::traits::iterator::Iterator::find
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/traits/iterator.rs:2231
  42: <core::iter::adapters::ResultShunt<I,E> as core::iter::traits::iterator::Iterator>::next
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/adapters/mod.rs:2613
  43: alloc::vec::Vec<T>::extend_desugared
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/liballoc/vec.rs:2200
  44: <alloc::vec::Vec<T> as alloc::vec::SpecExtend<T,I>>::spec_extend
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/liballoc/vec.rs:2093
  45: <alloc::vec::Vec<T> as alloc::vec::SpecExtend<T,I>>::from_iter
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/liballoc/vec.rs:2088
  46: <alloc::vec::Vec<T> as core::iter::traits::collect::FromIterator<T>>::from_iter
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/liballoc/vec.rs:1978
  47: core::iter::traits::iterator::Iterator::collect
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/traits/iterator.rs:1671
  48: <core::result::Result<V,E> as core::iter::traits::collect::FromIterator<core::result::Result<A,E>>>::from_iter::{{closure}}
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/result.rs:1537
  49: core::iter::adapters::process_results
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/adapters/mod.rs:2602
  50: <core::result::Result<V,E> as core::iter::traits::collect::FromIterator<core::result::Result<A,E>>>::from_iter
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/result.rs:1537
  51: core::iter::traits::iterator::Iterator::collect
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/iter/traits/iterator.rs:1671
  52: gluon_language_server::command::completion_symbols_to_document_symbols_inner
             at src/command/mod.rs:120
  53: gluon_language_server::command::completion_symbols_to_document_symbols
             at src/command/mod.rs:112
  54: gluon_language_server::command::document_symbols::register::{{closure}}::{{closure}}::{{closure}}
             at src/command/document_symbols.rs:19
  55: gluon_language_server::command::retrieve_expr::{{closure}}
             at src/command/mod.rs:236
  56: <core::future::from_generator::GenFuture<T> as core::future::future::Future>::poll
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/future/mod.rs:73
  57: gluon_language_server::command::document_symbols::register::{{closure}}::{{closure}}
             at src/command/document_symbols.rs:12
  58: <core::future::from_generator::GenFuture<T> as core::future::future::Future>::poll
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/future/mod.rs:73
  59: <futures_util::future::future::map::Map<Fut,F> as core::future::future::Future>::poll
             at futures-util-0.3.5/src/future/future/map.rs:67
  60: <futures_util::future::future::Map<Fut,F> as core::future::future::Future>::poll
             at futures-util-0.3.5/src/lib.rs:107
  61: <core::pin::Pin<P> as core::future::future::Future>::poll
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/future/future.rs:118
  62: <F as futures_core::future::TryFuture>::try_poll
             at futures-core-0.3.5/src/future.rs:83
  63: <futures_util::compat::compat03as01::Compat<Fut> as futures::future::Future>::poll::{{closure}}
             at futures-util-0.3.5/src/compat/compat03as01.rs:121
  64: futures_util::compat::compat03as01::with_context
             at futures-util-0.3.5/src/compat/compat03as01.rs:223
  65: <futures_util::compat::compat03as01::Compat<Fut> as futures::future::Future>::poll
             at futures-util-0.3.5/src/compat/compat03as01.rs:121
  66: <alloc::boxed::Box<F> as futures::future::Future>::poll
             at futures-0.1.29/src/future/mod.rs:113
  67: <futures::future::lazy::Lazy<F,R> as futures::future::Future>::poll
             at futures-0.1.29/src/future/lazy.rs:82
  68: futures::future::chain::Chain<A,B,C>::poll
             at futures-0.1.29/src/future/chain.rs:26
  69: <futures::future::then::Then<A,B,F> as futures::future::Future>::poll
             at futures-0.1.29/src/future/then.rs:32
  70: <alloc::boxed::Box<F> as futures::future::Future>::poll
             at futures-0.1.29/src/future/mod.rs:113
  71: <futures::future::either::Either<A,B> as futures::future::Future>::poll
             at futures-0.1.29/src/future/either.rs:35
  72: <futures::future::either::Either<A,B> as futures::future::Future>::poll
             at futures-0.1.29/src/future/either.rs:36
  73: <futures::future::map::Map<A,F> as futures::future::Future>::poll
             at futures-0.1.29/src/future/map.rs:30
  74: <futures::future::either::Either<A,B> as futures::future::Future>::poll
             at futures-0.1.29/src/future/either.rs:35
  75: <futures::future::either::Either<A,B> as futures::future::Future>::poll
             at futures-0.1.29/src/future/either.rs:36
  76: <futures::future::either::Either<A,B> as futures::future::Future>::poll
             at futures-0.1.29/src/future/either.rs:36
  77: <futures::future::map::Map<A,F> as futures::future::Future>::poll
             at futures-0.1.29/src/future/map.rs:30
  78: core::ops::function::FnOnce::call_once
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/ops/function.rs:232
  79: futures::task_impl::Spawn<T>::enter::{{closure}}
             at futures-0.1.29/src/task_impl/mod.rs:399
  80: futures::task_impl::std::set
             at futures-0.1.29/src/task_impl/std/mod.rs:83
  81: futures::task_impl::Spawn<T>::enter
             at futures-0.1.29/src/task_impl/mod.rs:399
  82: futures::task_impl::Spawn<T>::poll_fn_notify
             at futures-0.1.29/src/task_impl/mod.rs:291
  83: futures_util::compat::compat01as03::Compat01As03<T>::in_notify
             at futures-util-0.3.5/src/compat/compat01as03.rs:42
  84: <futures_util::compat::compat01as03::Compat01As03<Fut> as core::future::future::Future>::poll
             at futures-util-0.3.5/src/compat/compat01as03.rs:162
  85: gluon_language_server::server::Server::start::{{closure}}::{{closure}}::{{closure}}
             at Project/gluon_language-server/src/server.rs:124
  86: <core::future::from_generator::GenFuture<T> as core::future::future::Future>::poll
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/future/mod.rs:73
  87: <F as futures_core::future::TryFuture>::try_poll
             at futures-core-0.3.5/src/future.rs:83
  88: <futures_util::stream::try_stream::try_for_each::TryForEach<St,Fut,F> as core::future::future::Future>::poll
             at futures-util-0.3.5/src/stream/try_stream/try_for_each.rs:59
  89: gluon_language_server::server::Server::start::{{closure}}
             at Project/gluon_language-server/src/server.rs:118
  90: <core::future::from_generator::GenFuture<T> as core::future::future::Future>::poll
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/future/mod.rs:73
  91: gluon_language_server::run::{{closure}}
             at Project/gluon_language-server/src/lib.rs:36
  92: <core::future::from_generator::GenFuture<T> as core::future::future::Future>::poll
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/future/mod.rs:73
  93: gluon_language_server::main::{{closure}}
             at src/main.rs:3
  94: <core::future::from_generator::GenFuture<T> as core::future::future::Future>::poll
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/future/mod.rs:73
  95: tokio::runtime::enter::Enter::block_on::{{closure}}
             at tokio-0.2.22/src/runtime/enter.rs:160
  96: tokio::coop::with_budget::{{closure}}
             at tokio-0.2.22/src/coop.rs:127
  97: std::thread::local::LocalKey<T>::try_with
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libstd/thread/local.rs:263
  98: std::thread::local::LocalKey<T>::with
             at .rustup/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libstd/thread/local.rs:239
  99: tokio::coop::with_budget
             at tokio-0.2.22/src/coop.rs:120
 100: tokio::coop::budget
             at tokio-0.2.22/src/coop.rs:96
 101: tokio::runtime::enter::Enter::block_on
             at tokio-0.2.22/src/runtime/enter.rs:160
 102: tokio::runtime::thread_pool::ThreadPool::block_on
             at tokio-0.2.22/src/runtime/thread_pool/mod.rs:82
 103: tokio::runtime::Runtime::block_on::{{closure}}
             at tokio-0.2.22/src/runtime/mod.rs:446
 104: tokio::runtime::context::enter
             at tokio-0.2.22/src/runtime/context.rs:72
 105: tokio::runtime::handle::Handle::enter
             at tokio-0.2.22/src/runtime/handle.rs:76
 106: tokio::runtime::Runtime::block_on
             at tokio-0.2.22/src/runtime/mod.rs:441
 107: gluon_language_server::main
             at src/main.rs:1
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

error: environment variable `GIT_COMMIT` not defined
  --> gluon_language-server-0.17.0/src/command/initialize.rs:39:65
   |
39 |                         concat!(env!("CARGO_PKG_VERSION"), "-", env!("GIT_COMMIT")).into(),
   |                                                                 ^^^^^^^^^^^^^^^^^^
   |
   = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0308]: mismatched types
    --> /usr/ports/lang/gluon-language-server-lsp/work/gluon_language-server-0.18.0/cargo-crates/gluon_base-0.18.0/src/types/mod.rs:1042:24
     |
1042 | const _: [(); 8 * 6] = [(); std::mem::size_of::<Type<Symbol, ArcType>>()];
     |               -----    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected an array with a fixed size of 48 elements, found one with 40 elements
     |               |
     |               help: consider specifying the actual array length: `40`

[Error - 23:30:17] Starting client failed
Launching server using command gluon_language-server failed.