GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-22 11:19:32 -06:00
Code Issues Packages Projects Releases Wiki Activity

Remove more useless pattern matching and variable bindings in transfer compilation.

Browse Source
This commit is contained in:
bringert
2005-11-30 12:04:21 +00:00
parent afffb0367b
commit f2e0c40f5b
2 changed files with 82 additions and 47 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
transfer/examples/nat.tr
View File

@@ -14,9 +14,5 @@ natToInt : Nat -> Int
natToInt Zero = 0
natToInt (Succ n) = 1 + natToInt n
plus : Nat -> Nat -> Nat
plus Zero y = y
plus (Succ x) y = Succ (plus x y)
intToNat : Int -> Nat
intToNat n = if n == 0 then Zero else Succ (intToNat (n-1))