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 |
|