Ticket #153 (closed defect)

Opened 5 years ago

Last modified 5 years ago

doc build problem

Reported by: mflatt Owned by: cce
Priority: major Milestone:
Component: cce/dracula.plt Keywords:
Cc: Version: (8 1)
Racket Version: 4.1.3.4

Description

refereces/acl2/arithmetic.scrbl has

@defform[(ifix [x t]) t]

which doesn't work, because the second `t' is treated as an
expression. I think the `t' needs to be removed; maybe it's a
leftover from changing defproc' to defform'?

Change History

Changed 5 years ago by cce

  • status changed from new to closed

fixed in release 8.2 (converted to defproc)

Note: See TracTickets for help on using tickets.