Radosław Waśko

As for the typing of `Database.connect` and similar examples - I think we need to keep looking for a solution that allows us to refine the types somehow, but still...

Hmm, I tried compiling an example: ``` from Standard.Base import all type My_Type Value x get_a self -> Integer = 42 type Mixin_1 Value x get_a self -> Boolean =...

Thinking through implications for #9812 - my static type analysis logic relies on `->` behaving the same as `:`. I'm trying to run actual type _inference_, e.g. when I have...

Btw. is it expected that ``` from Standard.Base import all type My_Type Value x get_a self -> Integer = 42 type Mixin_1 Value x get_a self -> Boolean = False...

Operations that we need to Vectorize but they require more complicated extensions: ## Text ops needing Locale Currently we can vectorize a binary operation (2 arguments), these require a third...

Note: we already have a `run_vectorized_ternary_op` and its `runVectorizedTernaryMap` counterparts. The catch is that they can only take a scalar value for **both the 2nd and 3rd argument**. However for...

With this patch we can easily see which vectorized calls are falling back to non-vectorized fallbacks: ```diff Subject: [PATCH] display vectorized fallbacks --- Index: distribution/lib/Standard/Table/0.0.0-dev/src/Column.enso IDEA additional info: Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP...

I'm not 100% sure that the current behaviour is wrong, but it looks wrong to me. @kazcw @JaroslavTulach opinions?

> @jdunkerley suggests that: > > > type A > > B c = 42+2 > > should define `A.B` function with body of `42+2`, but James is OK with...

Btw. I also seem to be getting a similar failure when running `project-manager/testOnly *LanguageServerGateway*` on my machine: ``` Error occurred during initialization of boot layer java.lang.module.FindException: Two versions of module...