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