From 0ec003236680c50ff3f4a90da007fd9e39ba2e4f Mon Sep 17 00:00:00 2001
From: azidar
Date: Tue, 4 Aug 2015 16:41:41 -0700
Subject: Added check for reading from outputs with flips

---
 src/main/stanza/errors.stanza | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/main/stanza/errors.stanza')

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)
-- 
cgit v1.2.3