Skip to Content.
Sympa Menu

k-user - Re: [[K-user] ] Finding Free Variables in a Statement

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] Finding Free Variables in a Statement


Chronological Thread 
  • 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



Archive powered by MHonArc 2.6.19.

Top of Page