GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-16 00:09:31 -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 e3892b82c0
commit dd0ad1a1eb
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/)
--
-- and indirection to module (/INDIR/)
data Info =
data Info =
-- judgements in abstract syntax
AbsCat (Perh Context) (Perh [Term]) -- ^ (/ABS/) constructors; must be 'Id' or 'QId'
| AbsFun (Perh Type) (Perh Term) -- ^ (/ABS/) 'Yes f' = canonical