k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] Set2List and List2Set functionality

From: Radu Mereuta <headness13 AT gmail.com>
To: derek AT pyrofex.net
Cc: k-user AT lists.cs.illinois.edu
Subject: Re: [[K-user] ] Set2List and List2Set functionality
Date: Thu, 23 Aug 2018 11:49:02 +0300
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=headness13 AT gmail.com; dkim=pass header.d=gmail.com header.s=20161025; dmarc=pass header.from=gmail.com

Hi Derek,

I'm not sure how your rule looks like but from the error message, it sounds like it didn't manage to parse correctly.

Try to manually type all the variables in your rule. It may help in narrowing down what is wrong.

If that doesn't help, you could send a minimal example and the version of K you are using.

Radu

On Wed, Aug 22, 2018 at 7:55 PM Derek Sorensen <derek AT pyrofex.net> wrote:

Hi all,

Does anyone have either Set2List( ) or List2Set( ) from domains.k working? I’m trying to use both and for whatever reason, K doesn’t know what to do with either one. It returns an error “Could not infer a unique sort for variable `List2Set`”, even though domains.k is imported. If I copy

syntax Set ::= List2Set(List) [function, hook(SET.list2set)]

into my syntax file it recognizes List2Set( ) as a set but does nothing with it.

Any suggestions?

Best wishes,
Derek

[[K-user] ] Set2List and List2Set functionality, Derek Sorensen, 08/22/2018
- Re: [[K-user] ] Set2List and List2Set functionality, Radu Mereuta, 08/23/2018