GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-21 00:52:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fixed typo in overload.tr.

Browse Source
This commit is contained in:
bringert
2005-11-30 13:18:43 +00:00
parent b846b4c4fd
commit b6ee983432
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
transfer/examples/overload.tr
View File

@@ -93,7 +93,7 @@ Ord : Type -> Type
Ord A = sig { compare : A -> A -> Ordering } Ord A = sig { compare : A -> A -> Ordering }
compare : (A : Type) -> Ord A -> A -> A -> Ordering compare : (A : Type) -> Ord A -> A -> A -> Ordering
compare _ d = compare compare _ d = d.compare
ordOp : (Ordering -> Bool) -> (A : Type) -> Ord A -> A -> A -> Bool ordOp : (Ordering -> Bool) -> (A : Type) -> Ord A -> A -> A -> Bool
ordOp f A d x y = f (compare A d x y) ordOp f A d x y = f (compare A d x y)