programming-language

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

I believe that the patch command accepts an optional patch argument, but it isn't described in help patch:

  patch
  `patch` rewrites any definitions that depend on definitions with type-preserving edits to use the
  updated versions of these dependencies.

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

Some interesting behaviour was discovered from running gleam publish in github actions, notably the error that when a prompt for username was given and the process tries to read from stdin: https://github.com/TanklesXL/glint/runs/6276010442?check_suite_focus=true

It seems like since it fails to read from stdin it bails with a less-than-helpful message.