Jeremy G. Siek

[PLW: If denotations were strengthened to be downward closed, we could rewrite the signature replacing (ℰ N) by d : Denotation (Γ , ★)] [JGS: I'll look into this.]

support for multigraphs

5

I've very much enjoyed using this library, thank you! A graph that is allowed to have multiple edges between the same two vertices is a multigraph. The graph library as...

The Case for Transitive Type Equality

6

## Review of the Current Design In the current design for Carbon, type equality is not always transitive. In particular, in the context of a generic with type parameters `A`,...

Given the following program: ``` public fun main() { let x = 0 var y = x let _ = x } ``` the error message is: ``` error: use...

The val repo doesn't contain any example Val programs. They should be added.

The options are: raw-ast : gets you the AST right after the parser, in JSON raw-ir : performs type checking and outputs the IR before borrow checking ir : performs...

I tried running valc with no arguments to see what would happen: ``` Error: Missing expected argument ' ...' USAGE: cli [--emit ] [--modules] [--nostdlib] [-o ] [--verbose] [ ...]...