programming-language

Currently, we mostly map julia function arguments directly to LLVM arguments regardless of how many there are. That probably causes us to hit some pathological cases, since LLVM is not likely to care about or optimize handling 1000 arguments, since most front-ends do not generate that.

For example:

julia> fields = [:($(Symbol("var$i"))::Int) for i in 1:1000];

julia> @eval struct x
   

Requested in ethereum/solidity#12716 (comment).
Related to #12350.

I would actually be happier if we could find a way to somehow set an "illegal" locale so that we get an error whenever we perform a locale-dependent operation (and of course remove all locale-dependent operations).

The following code fails to compile, as expected:

actor Main
  new create(env: Env) =>
    let f = {() => None}
    f.string()

However, the error message says:

Error:
[main.pony:4:6](): couldn't find 'string' in '$1$0'
    f.string()
     ^

Internally to the compiler (I believe) we don't have a proper name for lambdas, so it's not clear what would be the a

When the user defines an invalid top-level term, the error message should give correct info about what is permissible.

https://github.com/unisonweb/unison/blob/6cbd464c0eae2bd3d0a355e09ffef0a409762086/parser-typechecker/src/Unison/PrintError.hs#L1265

Of course, if we want to bring back the namespace functionality, disregard! 😄

Motivation

The .postf is a neat shortcut for posting a formatted string.

But personally I see my self doing things like "% is not implemented yet".format("something").warn and the equivalent with .error all the time.

Description of Proposed Feature

Add the following methods to String:

// Equivalent to .postf
St

For example:

error: Unknown label
    ┌─ ./src/gleam/otp/task.gleam:176:15
    │
176 │   |> list.map(wit: async_apply(_, list.map(_, f)))
    │               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Did you mean `with`?

The other labelled arguments that this constructor accepts are `with`.

In this case it would be expected that only the wit would be underlined.

Also, one would e