k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Mike Stay <stay AT pyrofex.net>
- To: k-user <k-user AT lists.cs.illinois.edu>
- Subject: [[K-user] ] Preventing substitution in a subtree of an AST
- Date: Mon, 24 Jul 2017 08:54:28 -0600
- Authentication-results: illinois.edu; spf=pass smtp.mailfrom=stay AT pyrofex.net
I'd like to model the notion of a "quoted" program. All variables
inside a quotation context should be thought of as bound. Is there a
way to do that in K?
--
Mike Stay
CTO, Pyrofex Corp.
- [[K-user] ] Preventing substitution in a subtree of an AST, Mike Stay, 07/24/2017
- Re: [[K-user] ] Preventing substitution in a subtree of an AST, Everett Hildenbrandt, 07/25/2017
- Message not available
- RE: [[K-user] ] Preventing substitution in a subtree of an AST, Mike Stay, 07/25/2017
- Re: [[K-user] ] Preventing substitution in a subtree of an AST, Traian Florin Şerbănuţă, 07/25/2017
- RE: [[K-user] ] Preventing substitution in a subtree of an AST, Mike Stay, 07/25/2017
Archive powered by MHonArc 2.6.19.