diff options
Diffstat (limited to 'src/interp/clammed.boot')
| -rw-r--r-- | src/interp/clammed.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/clammed.boot b/src/interp/clammed.boot index 18632214..e19e03ba 100644 --- a/src/interp/clammed.boot +++ b/src/interp/clammed.boot @@ -123,7 +123,7 @@ isValidType form == -- Arguments to constructors are general expressions. Below -- domain constructors are not considered valid arguments (yet). x' := opOf x - not atom x' or not IDENTP x' => true -- surely not constructors + cons? x' or not IDENTP x' => true -- surely not constructors getConstructorKindFromDB x' ~= "domain" selectMms1(op,tar,args1,args2,$Coerce) == |