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

store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet

Browse Source
This commit is contained in:
krasimir committed 2010-03-22 21:15:29 +00:00
1 parent 086d429db9
commit aa64592e37
4 files changed
-14
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

src/prelude/Formal.gf
-1
View File
@@ -3,7 +3,6 @@ resource Formal = open Prelude in {
-- to replace the old library Precedence
oper
Prec : PType ;
TermPrec : Type = {s : Str ; p : Prec} ;
mkPrec : Prec -> Str -> TermPrec = \p,s ->