Re: [isabelle] Building a context_parser from a parser



I have found Scan.lift now, which I believe is the right way to convert
parsers to context_parsers. Just writing this here now for others'
future reference.

On 7/22/19 1:42 PM, Joshua Chen wrote:
> Alternatively, what is the idiom to chain parsers and context_parsers
> together, say to parse arguments to methods?
>
> Josh
>
> On 7/22/19 1:39 PM, Joshua Chen wrote:
>> Dear list,
>>
>> What is the idiomatic way to build a `'a context_parser` from a `'a
>> parser`? (I want the equivalent of Args.add but as a context parser.)
>>
>> Cheers,
>> Josh
>>




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.