diff options
| author | Kartik Agaram <vc@akkartik.com> | 2020-04-24 19:51:16 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2020-04-24 19:51:16 -0700 |
| commit | 5f142574572cedf76fce96fc8979091972a859c6 (patch) | |
| tree | a0ee3ba6c50ad3bbed0e247de6f476def8c131d0 | |
| parent | 84a02972294a2f7b3b50bca75e7ebf6a488419df (diff) | |
| download | mu-5f142574572cedf76fce96fc8979091972a859c6.tar.gz | |
6209
| -rw-r--r-- | apps/mu.subx | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/apps/mu.subx b/apps/mu.subx index fddf9444..4b24dc90 100644 --- a/apps/mu.subx +++ b/apps/mu.subx @@ -17,7 +17,7 @@ # (e.g. array indexing always checks bounds) # == Language description -# A program is a sequence of function definitions. +# A program is a sequence of function and type definitions. # # Function example: # fn foo n: int -> result/eax: int { @@ -403,6 +403,7 @@ Type-id: # (stream (address array byte)) 0/imm32 0/imm32 0/imm32 0/imm32 0/imm32 0/imm32 0/imm32 0/imm32 0/imm32 0/imm32 0/imm32 0/imm32 0/imm32 0/imm32 0/imm32 0/imm32 +# == Type definitions # Program->types contains some typeinfo for each type definition. # Types contain vars with types, but can't specify registers. Typeinfo-id: # type-id |