about summary refs log tree commit diff stats
path: root/mu_summary
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2020-02-27 16:58:16 -0800
committerKartik Agaram <vc@akkartik.com>2020-02-27 17:03:00 -0800
commit8b85a07f977f374d8d76831c1cb9c93796772094 (patch)
tree221766aaf51814d12572015d3619a957e8badb53 /mu_summary
parenta9151143f3d7c276e3c87b79b00378d509942d33 (diff)
downloadmu-8b85a07f977f374d8d76831c1cb9c93796772094.tar.gz
6059
Diffstat (limited to 'mu_summary')
-rw-r--r--mu_summary5
1 files changed, 5 insertions, 0 deletions
diff --git a/mu_summary b/mu_summary
index 3a93d109..179aa11f 100644
--- a/mu_summary
+++ b/mu_summary
@@ -200,3 +200,8 @@ Similarly, conditional loops:
   var/reg: int <- length var: (addr array T)
   var/reg: (addr T) <- index var: (addr array T), idx: int
   var/reg: (addr T) <- index var: (addr array T), n
+
+## User-defined types
+
+  var/reg: (addr T_f) <- get var: (addr T), f
+    where record (product) type T has elements a, b, c, ... of types T_a, T_b, T_c, ...