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

Currently, when a semantic test fails, soltest/isoltest does not print any information about options it was executed with. In particular the EVM version used (--evm-version option) and the optimier status (--optimize option). This information should be included both in the console output for each failed test and in the XML file for CircleCI that it produces when --logger=JUNIT option is used

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

Given the following

{typed.0}.type_

the formatter will remove the brackets.
The brackets are necessary because there is a compiler error without them

error: Syntax error
   ┌─ ./src/eyg/editor/editor.gleam:58:9
   │
58 │   typed.0.type_
   │         ^^ I was not expecting this.