id summary reporter owner description type status priority milestone component resolution keywords cc planetversion pltversion 181 example from docs declares IDistributeLists as a module pnkfelix cce "This is bogosity in the Dracula documentation {{{ (module IDistributeLists (include IAssociative) (include ICommutative) (include IDistributive) (sig addall (xs)) (sig mulall (x ys)) (con addall/mulall-distributive (implies (proper-consp bs) (equal (mulop a (addall bs)) (addall (mulall a bs)))))) }}} If you are just cut-and-pasting from the ref manual, you get this error: {{{ . include: not valid outside interface in: (include iassociative) }}} " defect new minor cce/dracula.plt 4.1.5