about summary refs log tree commit diff stats
path: root/mu_summary
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2020-03-11 20:56:27 -0700
committerKartik Agaram <vc@akkartik.com>2020-03-11 20:56:27 -0700
commitafc0be47a56286385e9747250b724c5497f50559 (patch)
tree9bbef36e9074db0b6ff3479afd792fc78d4db7d7 /mu_summary
parent0aa7420745e07f5f721efd75e1f73c8b1ea5aa42 (diff)
downloadmu-afc0be47a56286385e9747250b724c5497f50559.tar.gz
6129
Diffstat (limited to 'mu_summary')
-rw-r--r--mu_summary3
1 files changed, 2 insertions, 1 deletions
diff --git a/mu_summary b/mu_summary
index f15b6bd1..addfa340 100644
--- a/mu_summary
+++ b/mu_summary
@@ -207,5 +207,6 @@ Similarly, conditional loops:
 
 ## User-defined types
 
-  var/reg: (addr T_f) <- get var: (addr T), f
+  var/reg: (addr T_f) <- get var/reg: (addr T), f
     where record (product) type T has elements a, b, c, ... of types T_a, T_b, T_c, ...
+  var/reg: (addr T_f) <- get var: (addr T), f