index
:
gf-core.git
master
optimize
Unnamed repository; edit this file 'description' to name the repository.
Adrian
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
compiler
/
GF
/
Grammar
/
Printer.hs
Age
Commit message (
Expand
)
Author
2021-07-07
Replace tabs for whitespace in source code
John J. Camilleri
2019-03-26
bugfix in the pretty printer
krangelov
2018-04-18
Fixes for GHC 8.4.1 compatibility
Thomas Hallgren
2017-03-07
GF.Grammar.Printer now has a Terse mode which prints record types with lock f...
krasimir
2015-02-16
Changes for compatibility with ghc-7.10-rc2
hallgren
2014-10-21
Renaming SourceGrammar to Grammar and similarly for some related types
hallgren
2014-10-16
More haddock documentation improvements
hallgren
2014-07-27
Introducing GF.Text.Pretty for more concise pretty printers and GF.Infra.Loca...
hallgren
2014-06-12
PGF library: expose only PGF and PGF.Internal instead of all modules
hallgren
2014-02-01
new overload resolution, taking care of ad hoc overloading.
aarne
2013-11-06
the content of ParseEngAbs3.probs is now merged with ParseEngAbs.probs. The l...
kr.angelov
2013-11-05
Eliminate mutual dependencies between the GF compiler and the PGF library
hallgren
2013-10-30
added the linref construction in GF. The PGF version number is now bumped
kr.angelov
2013-02-27
Faster regular expression pattern matching in the grammar compiler.
hallgren
2013-02-27
GF grammar pretty printer improvements
hallgren
2012-11-23
Fix a prededence bug in GF grammar pretty printer
hallgren
2012-06-25
printing ResValue judgements as comments, to provide useful information when ...
aarne
2012-02-22
gfse: experimental support for editing concrete syntax in text mode
hallgren
2011-11-29
Sketch of the new type checker for the concrete syntax. Enabled only with -ne...
kr.angelov
2011-11-15
now the pretty printer in GF has a new mode called Internal. This is the most...
kr.angelov
2011-11-10
Now PMCFG is compiled per module and at the end we only link it. The new comp...
kr.angelov
2011-11-02
merge GF.Infra.Modules and GF.Grammar.Grammar. This is a preparation for the ...
kr.angelov
2011-11-02
Now the compiler maintains more precise information for the source locations ...
kr.angelov
2011-10-20
Introduce an explicit error value in the Term type
hallgren
2011-09-22
change the precedence for the left argument of ->
kr.angelov
2011-09-20
module for analysing source grammars
aarne
2011-09-20
command ss to show source (including gfo) in text; to be extended
aarne
2011-03-12
make it possible to override opers defined in an interface by syntax 'instanc...
aarne
2010-11-12
operations in the abstract syntax
krasimir
2010-06-21
GF.Grammar.Printer: print expressions with lincat and lin
krasimir
2010-06-18
Yay!! Direct generation of PMCFG from GF grammar
krasimir
2010-06-08
revert change in GF.Grammar.Printer that was intended for debugging only
krasimir
2010-05-28
refactoring in GF.Grammar.Grammar
krasimir
2010-05-28
bugfix in GF.Grammar.Printer
krasimir
2010-03-31
fixed a deep bug in TypeCheck due to swap of arguments; print empty record as...
aarne
2010-03-22
store and propagate the exact source location for all judgements in the gramm...
krasimir
2010-03-18
fix the precedence for patterns ~, - and @
krasimir
2010-03-18
syntax for inaccessible patterns in GF
krasimir
2010-02-22
rule for pretty printing implicit arguments
krasimir
2010-02-22
add pretty printing rule for implicit patterns
krasimir
2010-02-16
no need to keep the list of constructors per category in .gfo
krasimir
2010-02-03
fix the tabular printing when there is a V constructor
krasimir
2010-01-31
refactor GF.Infra.Modules for better error messages
krasimir
2009-12-13
reorganize the directories under src, and rescue the JavaScript interpreter f...
krasimir