From 5f142574572cedf76fce96fc8979091972a859c6 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Fri, 24 Apr 2020 19:51:16 -0700 Subject: 6209 --- apps/mu.subx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'apps/mu.subx') 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 -- cgit 1.4.1-2-gfad0