Added check for reading from outputs with flips

1 files changed, 6 insertions, 0 deletions

diff --git a/src/main/stanza/errors.stanza b/src/main/stanza/errors.stanza
index edb9928e..bfeb980b 100644
--- a/src/main/stanza/errors.stanza
+++ b/src/main/stanza/errors.stanza
@@ -725,6 +725,12 @@ public defn check-genders (c:Circuit) -> Circuit :
    defn check-gender (info:FileInfo,genders:HashTable<Symbol,Gender>,e:Expression,desired:Gender) -> False :
       val gender = get-gender(e,genders)
       val kind* = get-kind(e)
+      val flip? = 
+         match(type(e)) :
+            (t:BundleType) : 
+               for f in fields(t) any? : flip(f) == REVERSE
+            (t) : false
+         
       ;println(e)
       ;println(gender)
       ;println(desired)