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

Changed addOne to use Add not Plus (we can always define a plusOne...)

Browse Source
This commit is contained in:
Neil Brown 2008-03-20 12:30:07 +00:00
parent ad7a76dace
commit 123936e71c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
common/Types.hs
View File

@ -587,7 +587,7 @@ computeStructured f (A.Several m ss)
-- | Add one to an expression. -- | Add one to an expression.
addOne :: A.Expression -> A.Expression addOne :: A.Expression -> A.Expression
addOne e = A.Dyadic m A.Plus (makeConstant m 1) e addOne e = A.Dyadic m A.Add (makeConstant m 1) e
where m = findMeta e where m = findMeta e
-- | Add two expressions. -- | Add two expressions.