k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Andrej Tokarčík <andrejtokarcik AT gmail.com>
- To: Derek Sorensen <derek AT pyrofex.net>
- Cc: k-user AT lists.cs.illinois.edu
- Subject: Re: [[K-user] ] Finding Free Variables in a Statement
- Date: Thu, 24 May 2018 10:24:01 +0200
- Authentication-results: illinois.edu; spf=pass smtp.mailfrom=andrejtokarcik AT gmail.com; dkim=pass header.d=gmail.com header.s=20161025; dmarc=pass header.from=gmail.com
Hi Derek,
The lesson 9.5 files are available here:
https://github.com/kframework/k5/tree/master/k-distribution/tutorial/1_k/5_types/lesson_9.5/
The function you're looking for is probably #metaKVariables from
unification.k.
Regards,
Andrej
On Wed, May 23, 2018 at 9:04 PM, Derek Sorensen
<derek AT pyrofex.net>
wrote:
> Hi all,
> Is there a way in K to detect and/or use free variables in a given
> statement? I’m trying to write a general rewrite rule that checks for free
> variables in a statement and am having a bit of trouble.
> (Prof Rosu referred me to look at the Damas-Milner type inferencer in
> lesson 9.5, but I can't seem to find lesson 9.5 in the online tutorial. Is
> that somewhere else?)
> Best,
> Derek
- [[K-user] ] Finding Free Variables in a Statement, Derek Sorensen, 05/23/2018
- Re: [[K-user] ] Finding Free Variables in a Statement, Andrej Tokarčík, 05/24/2018
Archive powered by MHonArc 2.6.19.