interactive pugs fails in safe mode

[Wim Vanderbauwhede]

Hi,

Since a week or so interactive pugs fails when run with PUGS_SAFEMODE=1:

Loading Prelude... Reloading Prelude from source...pugs: user error (*** ***
Can't modify constant item: VUndef
       at <prelude> line 781, column 9-46
          <prelude> line 781, column 9-46
   at)

Wim


--
If it's pointless, what's the point?
If there is a point to it, what's the point?
(Tibor Fischer, "The Thought Gang")