suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Changed CLAIMs to be ValAbbrev (this eases dealing with it in the C backend later)

Browse Source
This commit is contained in:
Neil Brown 2009-04-16 10:22:49 +00:00
parent a12c4cc814
commit 2af2563773
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
frontends/ParseOccam.hs
View File

@ -1608,7 +1608,7 @@ claimSpec
n <- getName v >>= getOrigName n <- getName v >>= getOrigName
eol eol
indent 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 where
getName :: A.Variable -> OccParser A.Name getName :: A.Variable -> OccParser A.Name
getName (A.Variable _ n) = return n getName (A.Variable _ n) = return n