From 2af2563773292eee4defcb857df2b5e27cf82a7b Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Thu, 16 Apr 2009 10:22:49 +0000 Subject: [PATCH] Changed CLAIMs to be ValAbbrev (this eases dealing with it in the C backend later) --- frontends/ParseOccam.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontends/ParseOccam.hs b/frontends/ParseOccam.hs index 0dea5d1..3d29457 100644 --- a/frontends/ParseOccam.hs +++ b/frontends/ParseOccam.hs @@ -1608,7 +1608,7 @@ claimSpec n <- getName v >>= getOrigName eol indent - return ([(A.Specification m (A.Name m n) $ A.Is m A.Abbrev A.Infer $ A.ActualClaim v, ChannelName, normalName)], outdent) + return ([(A.Specification m (A.Name m n) $ A.Is m A.ValAbbrev A.Infer $ A.ActualClaim v, ChannelName, normalName)], outdent) where getName :: A.Variable -> OccParser A.Name getName (A.Variable _ n) = return n