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

whitespace only

Browse Source
This commit is contained in:
krasimir
2009-01-20 15:38:18 +00:00
parent c8e924707c
commit 425b464f2d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/GF/Grammar/Grammar.hs
View File

@@ -81,7 +81,7 @@ type PValues = [Term]
-- - concrete syntax (/CNC/) -- - concrete syntax (/CNC/)
-- --
-- and indirection to module (/INDIR/) -- and indirection to module (/INDIR/)
data Info = data Info =
-- judgements in abstract syntax -- judgements in abstract syntax
AbsCat (Perh Context) (Perh [Term]) -- ^ (/ABS/) constructors; must be 'Id' or 'QId' AbsCat (Perh Context) (Perh [Term]) -- ^ (/ABS/) constructors; must be 'Id' or 'QId'
| AbsFun (Perh Type) (Perh Term) -- ^ (/ABS/) 'Yes f' = canonical | AbsFun (Perh Type) (Perh Term) -- ^ (/ABS/) 'Yes f' = canonical