Ticket #181 (new defect)

Opened 5 years ago

example from docs declares IDistributeLists as a module

Reported by: pnkfelix Owned by: cce
Priority: minor Milestone:
Component: cce/dracula.plt Keywords:
Cc: Version:
Racket Version: 4.1.5

Description

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)
Note: See TracTickets for help on using tickets.