k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Set2List and List2Set functionality

From: Derek Sorensen <derek AT pyrofex.net>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Set2List and List2Set functionality
Date: Wed, 22 Aug 2018 10:55:48 -0600
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=derek AT pyrofex.net; dkim=pass header.d=pyrofex.net header.s=google; dmarc=none

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

Attachment: signature.asc
Description: Message signed with OpenPGP

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