programming-language

As described already here, running

using Distributed
addprocs(["<remotename>"], exename="<pathToRemoteJuliaExe>", dir="<pathToRemoteHomeDir>")

@fetch myid()

on a host with Julia 1.6.1 and connecting to a remote wit

soltest.sh passes --logger=JUNIT option to soltest, which makes it produce an XML report that CircleCI can then analyze to list failed test cases on the TESTS tab (see CircleCI docs > Collecting test data). Currently using this option means that errors are no longer pri

primitive A
primitive B
actor Main
  new create(env: Env) =>
    let bad = Generic[(A | B)].get()
    env.out.print(match bad
    | let _: A => "D"
    | let _: B => "B"
    end)
interface val Default
  new val create()
class Generic[T: (Default val | None val)]
  let x: T = T.create()
  fun get(): T =>
    x

https://playground.ponylang.io/?gist=60bfbb2f304c0ad519cf0d68dc9

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 Git class currently doesn't support submodules which prevents for example using submodules in Quark repos.

Description of Proposed Feature

Add a submodule method to Git and add submodule recursion to the Quark install step, eg adding the --recurse-submodules git flag to the clone command. This will download an

The following codes compiles

pub type Record {
  Record(a_field: List(String))
}

pub type AnotherRecord(a) {
  RecordConstructorWithALongName(a_field: a)
}

pub fn example() {
  Ok(RecordConstructorWithALongName(a_field: RecordConstructorWithALongName(a_field: Record(a_field: []))))
}

but when running gleam format the example function gets formatted like this, which