[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Pretty-pint and preserve comments

Hi Hanne,

There is currently only rudimentary support for comments, and right now
the comments are ignored by the lexer, so the comments aren't readily
available.  When I get a little extra time I'll modify the lexer and
prettyprinter so that comments are preserved.


> Is it possible to use the PVS pretty printer and preserve comments within
> the file (any comments before the theory name do stay) ?
> If not, can anyone suggest a workable way of achieving the same sort
> of thing?
> Thanks,
> Hanne
> -- 
> ---------------------------------------------------------
> Hanne Gottliebsen		    Office P337
> Dept. of Computer Science	    Ph: +44 1334 46 3265
> University of St Andrews	    hago@dcs.st-and.ac.uk
>   - I want a single-skin cotton tent like Mr Weasley's
> ---------------------------------------------------------