hallgren
b410cc75cd
Fix a prededence bug in GF grammar pretty printer
...
The pretty printer produced
mkDet pre {"a"; "an" / vowel} Sg
which is not accepted by the parser. The parser assigns pre { ... }, to
prededence level 4, and this is now reflected in the pretty printer, so
it prints
mkDet (pre {"a"; "an" / vowel}) Sg
(This caused a problem in GFSE since it parsers pretty printed grammars...)
2012-11-23 18:44:08 +00:00
aarne
8392cf45c3
printing ResValue judgements as comments, to provide useful information when a conflict is found between parameter constructors
2012-06-25 09:24:04 +00:00
hallgren
39c1b5a5fa
gfse: experimental support for editing concrete syntax in text mode
2012-02-22 16:30:42 +00:00
kr.angelov
eaaefe73d0
Sketch of the new type checker for the concrete syntax. Enabled only with -new-comp
2011-11-29 12:12:51 +00:00
kr.angelov
c73bbeabb4
now the pretty printer in GF has a new mode called Internal. This is the most detailed mode and it can print even things that are not in the GF syntax. For example PMCFG snippets and indirections.
2011-11-15 15:55:45 +00:00
kr.angelov
bbe42d1e90
Now PMCFG is compiled per module and at the end we only link it. The new compilation schema is few times faster.
2011-11-10 14:09:41 +00:00
kr.angelov
54019c75ae
merge GF.Infra.Modules and GF.Grammar.Grammar. This is a preparation for the separate PGF building
2011-11-02 13:57:11 +00:00
kr.angelov
bc35626489
Now the compiler maintains more precise information for the source locations of the different definitions. There is a --tags option which generates a list of all identifiers with their source locations.
2011-11-02 11:44:59 +00:00
hallgren
a8b97caed4
Introduce an explicit error value in the Term type
...
This makes it easier to treat run-time errors (e.g. caused by calls to
Predef.error) in a way that is more typical for a lazy functional language.
2011-10-20 14:36:30 +00:00
kr.angelov
a112c56e74
change the precedence for the left argument of ->
2011-09-22 16:24:02 +00:00
aarne
1fc37fc9b4
module for analysing source grammars
2011-09-20 16:00:56 +00:00
aarne
9cbe3982bd
command ss to show source (including gfo) in text; to be extended
2011-09-20 14:58:27 +00:00
aarne
afbfbaa73a
make it possible to override opers defined in an interface by syntax 'instance Foo of Bar - [f,g,h]'
2011-03-12 11:24:14 +00:00
krasimir
fe1205059b
operations in the abstract syntax
2010-11-12 19:37:19 +00:00
krasimir
7fa1963cc4
GF.Grammar.Printer: print expressions with lincat and lin
2010-06-21 15:23:49 +00:00
krasimir
2069d9c9eb
Yay!! Direct generation of PMCFG from GF grammar
2010-06-18 12:55:58 +00:00
krasimir
142cdc306d
revert change in GF.Grammar.Printer that was intended for debugging only
2010-06-08 09:53:13 +00:00
krasimir
4f1f8b6308
refactoring in GF.Grammar.Grammar
2010-05-28 14:15:15 +00:00
krasimir
38e04d0872
bugfix in GF.Grammar.Printer
2010-05-28 09:43:58 +00:00
aarne
5d75073313
fixed a deep bug in TypeCheck due to swap of arguments; print empty record as <> instead of {} to distinguish from empty record type
2010-03-31 22:05:12 +00:00
krasimir
d3a84f994b
store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet
2010-03-22 21:15:29 +00:00
krasimir
b2c785edfa
fix the precedence for patterns ~, - and @
2010-03-18 19:52:45 +00:00
krasimir
0c2944fa7f
syntax for inaccessible patterns in GF
2010-03-18 19:34:30 +00:00
krasimir
46c04f4c91
rule for pretty printing implicit arguments
2010-02-22 20:09:28 +00:00
krasimir
e876fad3fa
add pretty printing rule for implicit patterns
2010-02-22 20:02:53 +00:00
krasimir
899ed163a1
no need to keep the list of constructors per category in .gfo
2010-02-16 09:34:02 +00:00
krasimir
e33447aadd
fix the tabular printing when there is a V constructor
2010-02-03 17:33:55 +00:00
krasimir
4485e97181
refactor GF.Infra.Modules for better error messages
2010-01-31 15:54:25 +00:00
krasimir
c92f9d1c0c
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
2009-12-13 18:50:29 +00:00
