maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
[[maude-help] ] parsing a file format using a maude module
- From: Raghu Ranganathan <rraghu.11502 AT gmail.com>
- To: maude-help AT lists.cs.illinois.edu
- Subject: [[maude-help] ] parsing a file format using a maude module
- Date: Fri, 8 Dec 2023 06:47:53 +0800
Assuming I define an op like
op Card_:_|_ : -> Nat List{Nat} List{Nat} [ctor] .
I would like to parse a line of this form with the help of the module this op is defined in.
Card 1: 41 48 83 86 17 | 83 86 6 31 17 9 48 53
Is there a way I can use a module to parse a format like this from a String?
-
[[maude-help] ] parsing a file format using a maude module,
Raghu Ranganathan, 12/07/2023
- Re: [[maude-help] ] parsing a file format using a maude module, Steven Eker, 12/07/2023
Archive powered by MHonArc 2.6.24.