about summary refs log tree commit diff stats
path: root/apps/mu.subx
diff options
context:
space:
mode:
Diffstat (limited to 'apps/mu.subx')
-rw-r--r--apps/mu.subx3
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