GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-05-27 17:08:54 -06:00
Code Issues Packages Projects Releases Wiki Activity

use oper in examples

Browse Source
This commit is contained in:
krasimir
2009-06-13 13:36:41 +00:00
parent d9ed84a671
commit d29e6f4041
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
prelude/Precedence.gf
View File

@@ -7,7 +7,7 @@ resource Precedence = open Prelude in {
param param
Prec = p4 | p3 | p2 | p1 | p0 ; Prec = p4 | p3 | p2 | p1 | p0 ;
lintype oper
PrecTerm = Prec => Str ; PrecTerm = Prec => Str ;
oper oper
@@ -75,7 +75,7 @@ mkInfixR : Str -> Prec -> PrecTerm -> PrecTerm -> PrecTerm =
-- alternative: -- alternative:
-- precedence as inherent feature -- precedence as inherent feature
lintype TermWithPrec = {s : Str ; p : Prec} ; oper TermWithPrec = {s : Str ; p : Prec} ;
oper oper
mkpPrec : Str -> Prec -> TermWithPrec = mkpPrec : Str -> Prec -> TermWithPrec =