k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Failed to kompile Fig 3 of K Primer

From: "Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>
To: k-user AT cs.uiuc.edu
Subject: Re: [K-user] Failed to kompile Fig 3 of K Primer
Date: Mon, 20 Feb 2012 15:33:34 +0100
Authentication-results: mr.google.com; spf=pass (google.com: domain of hossein.haeri AT gmail.com designates 10.236.80.4 as permitted sender) smtp.mail=hossein.haeri AT gmail.com; dkim=pass header.i=hossein.haeri AT gmail.com
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
List-id: <k-user.cs.uiuc.edu>

Hi Brandon,

> In particular, some of the examples in the primer don't work as written
> because of missing parsing attributes.

Likewise, mu needs a prec annotation for kompile not to fail. With
Andrei's 50 and 60 for lambda and application, I thought it'd be
appropriate to make mu 55, and it works for now. Am I safe with this
annotation? More generally, whilst I understand the relative value of
precedence over each other, how do I know whether assigning a
particular number to my constructs would not mess around with any of
K's internal/library ones?

TIA,
--Hossein

--------------------------------------------------------------------------------------------------------------

Seyed H. HAERI (Hossein)

Research Assistant
Institute for Software Systems (STS)
Technical University of Hamburg (TUHH)
Hamburg, Germany

ACCU - Professionalism in programming - http://www.accu.org/
--------------------------------------------------------------------------------------------------------------

[K-user] Failed to kompile Fig 3 of K Primer, Seyed H. HAERI (Hossein), 02/19/2012
- Re: [K-user] Failed to kompile Fig 3 of K Primer, Andrei Arusoaie, 02/19/2012
  - Re: [K-user] Failed to kompile Fig 3 of K Primer, Seyed H. HAERI (Hossein), 02/20/2012
    - Re: [K-user] Failed to kompile Fig 3 of K Primer, Seyed H. HAERI (Hossein), 02/20/2012
      - Re: [K-user] Failed to kompile Fig 3 of K Primer, Andrei Arusoaie, 02/20/2012
        
        Re: [K-user] Failed to kompile Fig 3 of K Primer, Moore, Brandon Michael, 02/20/2012
        
        Re: [K-user] Failed to kompile Fig 3 of K Primer, Seyed H. HAERI (Hossein), 02/20/2012
        
        Re: [K-user] Failed to kompile Fig 3 of K Primer, Seyed H. HAERI (Hossein), 02/20/2012