diff options
| author | jackbackrack | 2015-05-04 15:23:05 -0700 |
|---|---|---|
| committer | jackbackrack | 2015-05-04 15:23:05 -0700 |
| commit | 9321e870f9c18bd1522f83e173cbf2d42eed0b66 (patch) | |
| tree | da2df60ac39b6d30679b740f3f263d777f235de3 /src/main/stanza/errors.stanza | |
| parent | 4c56d7c451a0c87ced5aa60f85f3fd8545349862 (diff) | |
| parent | 84ae662031b941d3a9318d8e4a1dbf152415e718 (diff) | |
merge
Diffstat (limited to 'src/main/stanza/errors.stanza')
| -rw-r--r-- | src/main/stanza/errors.stanza | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/stanza/errors.stanza b/src/main/stanza/errors.stanza index 3e1d2cb4..b0dbca68 100644 --- a/src/main/stanza/errors.stanza +++ b/src/main/stanza/errors.stanza @@ -149,6 +149,7 @@ defn is-prefix? (s1:Symbol,s2:Symbol) -> True|False : ; * A module has the same name as main of circuit ; * mems cannot be a bundle with flips ; o instance module must be a reference with same name as defined module +; o reset must be UInt<1> public defn check-high-form (c:Circuit) -> Circuit : val errors = Vector<HighFormException>() |