*Error* putprop: first arg must be either symbol, list, defstruct or user type - nil *WARNING* (SCH-1156): CDF parameter function has a problem. ("nmos4") My virtuoso version is:sub-version IC6.1.8-64b.500.1 I looked up the forum and...
launch leHiCreateInst() , it shows *Error* putprop: first arg must be either symbol, list, defstruct or type nil Hello All , How can I let it show leCreateInstForm again or how to fix it ? I don't want to start tool...
then it could be confusing if there are certain tokens (e.g. the string "sub" in your example) that could be generated by "do_something" and would change the way the arguments are parsed. Now it's already the case that tokens that start with a hyphen do change the way the arguments...
*/IoSymbol *textString = IoMessage_locals_seqArgAt_(m, locals,0);intstartIndex =0;intendIndex;if(IoMessage_argCount(m) >1) { startIndex = IoNumber_asInt(IoMessage_locals_numberArgAt_(m, locals,1));if(startIndex > (int)IoSeq_rawSize(textString)) startIndex = (int)IoSeq_rawSize(...
// return the symbol that represents this variable being equal to the constant `c`, if it exists, otherwise False (for robustness) // (registerEquality(c) must have been called prior, either when constructing the domain or from outside) def propForEqualsTo(c: Const): Prop = {observed(...