k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] structs

From: Omar Duhaiby <3omarz AT gmail.com>
To: k-user AT cs.uiuc.edu
Cc: "Musab A. AlTurki" <musab AT kfupm.edu.sa>
Subject: [K-user] structs
Date: Fri, 14 Nov 2014 20:42:35 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

This is a bit tricky. I need for one of my cells to contain a list of CowStructs, where CowStruct is any arrangement of two sorts, an Int and an Id. I defined it as:
syntax CowStruct ::= Int "." Id
I chose this format arbitrarily. What I need is something like a struct that contains these two types.

I hope my question is clear.
Thank you
Omar Alzuhaibi

[K-user] structs, Omar Duhaiby, 11/14/2014
- Re: [K-user] structs, Radu Mereuta, 11/17/2014