diff options
Diffstat (limited to 'src/interp/clammed.boot')
| -rw-r--r-- | src/interp/clammed.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/clammed.boot b/src/interp/clammed.boot index db1972da..b8988d85 100644 --- a/src/interp/clammed.boot +++ b/src/interp/clammed.boot @@ -84,16 +84,16 @@ isValidType form == ((# args) = (# removeDuplicates args)) => true false form is ['Mapping,:mapargs] => - null mapargs => nil + null mapargs => false and/[isValidType type for type in mapargs] form is ['Union,:args] => -- check for a tagged union args and first args is [":",:.] => and/[isValidType type for [:.,type] in args] - null (and/[isValidType arg for arg in args]) => nil + null (and/[isValidType arg for arg in args]) => false ((# args) = (# removeDuplicates args)) => true sayKeyedMsg("S2IR0005",[form]) - nil + false badDoubles := [$QuotientField,:'(Gaussian Complex Polynomial Expression)] form is [T1, [T2, :.]] and T1 = T2 and member(T1, badDoubles) => nil |