summaryrefslogtreecommitdiff
path: root/src/compiler
AgeCommit message (Collapse)Author
2012-02-29PGFService.hs bug fix: pattern match failure in doParsehallgren
doParse was missing a branch for PGF.ParseIncomplete. Also introduced the operator .= to simply the code that builds JSON objects.
2012-02-28gf -server mode: JSONP support for grammar listshallgren
Needed by the translation quiz.
2012-02-28bug fix in AppPredefined: don't compare values that contain variables. this ↵aarne
should be checked even more generally.
2012-02-28buf fix in the compiler for HOASkr.angelov
2012-02-27gfse: text mode improvementshallgren
+ Preserve the startcat flag. + Preserve judgement order when possible (GF's parser does not preserve order and does not record exact source locations, only line numbers)
2012-02-24gfse: text mode editing: accept grammars with printname judgementshallgren
But printname judgements are ignored for now. Also fixed an UTF-8 encoding bug when parsing uploaded grammars in gf -server mode.
2012-02-24the Predef function eqVal to compare equality of parameter valuesaarne
2012-02-23hindi-resource-grammarvirk.shafqat
2012-02-22gfse: experimental support for editing concrete syntax in text modehallgren
2012-02-21gfse: edit abstract syntax in text mode with instant syntax error reportinghallgren
This is an experimental feature. It requires server support for parsing and is thus not available while offline, unlike most other editing functionality.
2012-02-21sindhipatchvirk.shafqat
2012-02-20GF.Inra.UseIO: add instance Functor IOE, add method fail to instance Monad IOEhallgren
2012-02-13gfse: added a button to go directly from the editor to the minibarhallgren
If there is an error in the grammar, the error message is shown below the grammar instead. Also: GFServer.hs now returns compiler output in a JSON structure instead of as a HTML page.
2012-02-10gfse: stay on the same page when compiling grammarshallgren
The link to the minibar (or compiler errors) are now shown below the grammar on the same page. If you go to the minibar, you only have to press the back button once to get back to the editor. Also some output formatting changes in GFServer.hs.
2012-02-10gfse&minibar: select the right grammar in minibar when invoked from gfsehallgren
The grammar that the user is currently working is now the one shown initially in minibar, instead of the first grammar in alphabetical order. Also GFServer.hs now removes absolute paths to the grammar files on the server in error messages from GF returned to to gfse.
2012-02-01gf -server: better error message for requests with unsupported HTTP methodshallgren
2012-02-01gf -server: fix bug that caused '+' to be converted to ' ' in uploaded grammarshallgren
Fixed buggy workaround for bug in httpd-shed function queryToArguments.
2012-01-14sorted the list of funs and cats in GrammatToPGF to get the predef ↵aarne
categories in proper place and get gr, ai, gt work properly
2011-12-14gf -server[=port]hallgren
You can now specify which port the HTTP server should run on in server mode. The default is 41296.
2011-12-14gf -server mode improvementshallgren
+ Avoid looping if it is not possible to create a new server directory. + Work on FastCGI support using the direct-fastcgi package (commented out for now because of buggy behavior).
2011-12-02The typechecker is still unfinished but at least it can typecheck the ↵kr.angelov
English resource grammar
2011-12-02missing cases in GF.Grammar.Binarykr.angelov
2011-11-30Hopefully complete Value type and a little bit more on computations.kr.angelov
2011-11-30more stuff in the new type checkerkr.angelov
2011-11-29fix the compilation after the patch for the new type checkerkr.angelov
2011-11-29Sketch of the new type checker for the concrete syntax. Enabled only with ↵kr.angelov
-new-comp
2011-11-24now if some module is compiled with -no-pmcfg then the PMCFG code is ↵kr.angelov
generated at the end during the linking phase. Now the default compilation of the libraries with cabal is with -no-pmcfg.
2011-11-22make addSequencesB(V) strict. Otherwise we get stack overflow when compiling ↵kr.angelov
LangFre
2011-11-17rebuildModule should do location globalization tookr.angelov
2011-11-17bugfix in the overload resolution. It was accidentally introduced as part of ↵kr.angelov
the per module PMCFG generation
2011-11-15fix in the versioning of the .gfo fileskr.angelov
2011-11-15now we store version number in every .gfo file. If the file is compiled with ↵kr.angelov
different compiler then we simply recompile it.
2011-11-15now the pretty printer in GF has a new mode called Internal. This is the ↵kr.angelov
most detailed mode and it can print even things that are not in the GF syntax. For example PMCFG snippets and indirections.
2011-11-15Now the errors messages from GF.Compile.Update also follow the new formatkr.angelov
2011-11-15the indirections in the .gf-tags files now point directly to the origin of ↵kr.angelov
the corresponding indentifiers
2011-11-15more structured format for errors and warnings from the compilerkr.angelov
2011-11-14bugfix in the new PGF generationkr.angelov
2011-11-14remove the -output-file optionkr.angelov
2011-11-14the new design for -tagskr.angelov
2011-11-10Now PMCFG is compiled per module and at the end we only link it. The new ↵kr.angelov
compilation schema is few times faster.
2011-11-10remove few obsolete options from GF.Infra.Optionskr.angelov
2011-11-04qualified names in the tags filekr.angelov
2011-11-02merge GF.Infra.Modules and GF.Grammar.Grammar. This is a preparation for the ↵kr.angelov
separate PGF building
2011-11-02Now the compiler maintains more precise information for the source locations ↵kr.angelov
of the different definitions. There is a --tags option which generates a list of all identifiers with their source locations.
2011-11-01gfse: grammar sharing: bug fixes and win32 supporthallgren
win32 support is untested
2011-11-01Remove configuration flag cclazyhallgren
2011-11-01Fixed a typo in the shell online helpNick Frolov
2011-10-25Recording an alternative version of look in Compute/ConcreteLazy.hshallgren
Commented out, causes problems in the greek example.
2011-10-25qualification with real module name accepted, as in GF refmanaarne
2011-10-24use associativity to force more precompilation of pre expressionsaarne