Skip to content

Commit

Permalink
Rename internal types to begin with #
Browse files Browse the repository at this point in the history
  • Loading branch information
titzer committed Sep 23, 2023
1 parent 7a9af29 commit 67881b4
Show file tree
Hide file tree
Showing 3 changed files with 10 additions and 5 deletions.
2 changes: 1 addition & 1 deletion aeneas/src/main/Version.v3
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,6 @@

// Updated by VCS scripts. DO NOT EDIT.
component Version {
def version: string = "III-7.1652";
def version: string = "III-7.1653";
var buildData: string;
}
8 changes: 4 additions & 4 deletions aeneas/src/types/Void.v3
Original file line number Diff line number Diff line change
Expand Up @@ -4,19 +4,19 @@
// Representation of the void type.
component Void {
def TYPE = TypeUtil.singleType("void", V3Kind.VOID, VoidType.new);
def ERROR_TYPE = TypeUtil.singleType("?", V3Kind.VOID, ErrorType.new);
def ERROR_TYPE = TypeUtil.singleType("#error", V3Kind.VOID, ErrorType.new);
}
// Representation of the null type, used internally.
component Null {
def TYPE = TypeUtil.singleType("<null>", V3Kind.CLASS, NullType.new);
def TYPE = TypeUtil.singleType("#null", V3Kind.CLASS, NullType.new);
}
// Representation of the "any object" type, used internally.
component AnyRef {
def TYPE = TypeUtil.singleType("<ref>", V3Kind.CLASS, AnyRefType.new);
def TYPE = TypeUtil.singleType("#ref", V3Kind.CLASS, AnyRefType.new);
}
// Representation of the "any function" type, used internally.
component AnyFunction {
def TYPE = TypeUtil.singleType("<function>", V3Kind.ANYFUNC, AnyFuncType.new);
def TYPE = TypeUtil.singleType("#func", V3Kind.ANYFUNC, AnyFuncType.new);
}
// The (singleton) {void} type.
class VoidType extends Type {
Expand Down
5 changes: 5 additions & 0 deletions bin/v3db
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
#!/bin/bash

BIN=$(cd $(dirname ${BASH_SOURCE[0]}) && pwd)
V3C=${V3C:=$BIN/v3c}
exec $V3C -run -debug "$@"

0 comments on commit 67881b4

Please sign in to comment.