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

Marked modif place on line 414.

Browse Source
This commit is contained in:
aarne
2003-09-25 12:01:34 +00:00
parent 49f6288350
commit a6a7abe6f6
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/GF/Shell/Commands.hs
View File

@@ -403,7 +403,7 @@ displaySStateJavaX env state = unlines $ tagXML "gfedit" $ concat [
lgrs = allStateGrammarsWithNames env --- allActiveStateGrammarsWithNames env lgrs = allStateGrammarsWithNames env --- allActiveStateGrammarsWithNames env
lins = (langAbstract, exp) : linAll lins = (langAbstract, exp) : linAll
opts = addOptions (optsSState state) -- state opts override opts = addOptions (optsSState state) -- state opts override
(addOption (markLin markOptJava) (globalOptions env)) (addOption (markLin mark) (globalOptions env))
lin (n,gr) = (n, map uni $ linearizeState noWrap opts gr zipper) where lin (n,gr) = (n, map uni $ linearizeState noWrap opts gr zipper) where
uni = optEncodeUTF8 n gr . mkUnicode uni = optEncodeUTF8 n gr . mkUnicode
exp = prprTree $ loc2tree zipper exp = prprTree $ loc2tree zipper
@@ -411,6 +411,7 @@ displaySStateJavaX env state = unlines $ tagXML "gfedit" $ concat [
zipper = stateSState state zipper = stateSState state
linAll = map lin lgrs linAll = map lin lgrs
gr = firstStateGrammar env gr = firstStateGrammar env
mark = markOptJava -- to be: markOptXML
langAbstract = language "Abstract" langAbstract = language "Abstract"
langXML = language "XML" langXML = language "XML"

2
src/Today.hs
View File

@@ -1 +1 @@
module Today where today = "Thu Sep 25 14:28:54 CEST 2003" module Today where today = "Thu Sep 25 14:49:28 CEST 2003"