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
/
GF
/
Grammar
Age
Commit message (
Expand
)
Author
2009-12-13
reorganize the directories under src, and rescue the JavaScript interpreter f...
krasimir
2009-11-17
slight optimization in GF.Grammar.Lexer
krasimir
2009-11-14
lookupResType should always return the precomputed CncFun type
krasimir
2009-11-07
check grammar should process the definitions in dependency order. This also e...
krasimir
2009-10-28
check for cyclic parameters, operations and dependent types
krasimir
2009-10-28
refactoring in GF.Grammar.Lookup
krasimir
2009-10-28
restructure ResParam and ResValue
krasimir
2009-10-27
simplify the Term again
krasimir
2009-10-25
strip some redundant constructors from GF.Grammar.Grammar
krasimir
2009-10-25
small refactoring in GF.Compile.CheckGrammar
krasimir
2009-10-24
split the abstract syntax specific and the concrete syntax specific modules i...
krasimir
2009-10-07
remove duplicated function from GF.Grammar.Macros
krasimir
2009-10-06
hopefully the last revision of the relative paths handling algorithm
krasimir
2009-10-05
another attempt to get the paths handling right
krasimir
2009-10-02
merge GF.Grammar.API into GF.Grammar
krasimir
2009-10-02
refactor GF.Infra.CheckM and use the CheckM monad in the renamer as well
krasimir
2009-10-02
Implicit arguments in GF. Works only in PGF for now.
krasimir
2009-09-21
refactoring in GF.Grammar.Macros
krasimir
2009-09-20
syntax for implicit arguments in GF
krasimir
2009-09-20
rename MetaSymb in GF.Grammar.Grammar to MetaId to match the convention in PGF
krasimir
2009-09-20
remove the Read instances from GF.Grammar.Grammar
krasimir
2009-09-20
rename Decl in GF.Grammar.Grammar to Hypo to match the convention in PGF
krasimir
2009-09-17
fix in GF.Grammar.Printer
krasimir
2009-09-17
remove the transfer modules. We don't need anything special, a transfer modul...
krasimir
2009-09-14
clean up the GF.Grammar API
krasimir
2009-09-14
Use GF.Grammar.Printer everywhere instead of PrGrammar
krasimir
2009-09-14
CheckGrammar is now using the printer in GF.Grammar.Printer. Fixed bug that w...
krasimir
2009-08-18
let the GF.Grammar.Printer printer output the unicode symbols directly
krasimir
2009-06-20
the construct lin C t now replaces lock fields (in source code; still tempor ...
aarne
2009-05-25
fixed pre expressions, parsing {} patterns, and the path in resource Make.hs
aarne
2009-05-22
some work on evaluation with abstract expressions in PGF
krasimir
2009-05-22
fix the handling of wildcards
krasimir
2009-05-20
refactor the PGF.Expr type and the evaluation of abstract expressions
krasimir
2009-05-18
pattern macros: oper f : pattern T = # p ; used as #f in patterns
aarne
2009-05-15
new pre syntax (as alternative): pre {"o" | "i" => "an" ; _ => "a"}
aarne
2009-04-06
warning for overshadowed patterns, temporal solution
aarne
2009-04-02
raise better error message when decode GFO file
krasimir
2009-03-28
examples of file conversion with ps
aarne
2009-03-17
add the compiled Haskell sources for Parser and Lexer
krasimir
2009-03-16
incomplete support for record types in the abstract syntax
krasimir
2009-03-16
use new parser which supports the syntax in GF.Grammar.Grammar directly
krasimir
2009-03-15
export ppLabel from GF.Grammar.Printer
krasimir
2009-03-15
code cleanup in the typechecker
krasimir
2009-03-14
fix typo cs1 -> c2. the whole typechecker was broken before that
krasimir
2009-03-05
print semicolon after the ind statement
krasimir
2009-03-05
in GF.Grammar.Update - remove the indirection before to print the error message
krasimir
2009-03-04
GF.Grammar.Printer: parenthesis around single identifier are not necessary
krasimir
2009-03-04
another missing case in GF.Grammar.Printer
krasimir
2009-03-04
qualified/unqualified mode for GF.Grammar.Printer. Used in the "cc" command
krasimir
2009-03-04
added few missing cases in GF.Grammar.Printer
krasimir
[next]