 krasimir
|
a4d41ef3e3
|
fix in PGF.Printer
|
2010-02-17 10:31:10 +00:00 |
|
|
krasimir
|
b5d9ae552d
|
-output-format=pgf_pretty now prints the flags as well
|
2010-02-17 10:20:49 +00:00 |
|
|
krasimir
|
32f9499f2e
|
fix the PGF printer for abstract
|
2010-02-16 21:47:58 +00:00 |
|
|
krasimir
|
19b17dceb6
|
no need to keep the list of constructors per category in .gfo
|
2010-02-16 09:34:02 +00:00 |
|
|
krasimir
|
61287f3925
|
more category theory -> morphisms, initial and terminal objects
|
2010-02-15 10:35:24 +00:00 |
|
|
krasimir
|
af48998ef6
|
basic category theory expressed in GF. Note: works only with my development version of GF. It will be pushed in darcs soon
|
2010-02-14 10:20:08 +00:00 |
|
|
krasimir
|
b2ce65bbe6
|
white space instead of tab in GF.cabal
|
2010-02-12 21:31:30 +00:00 |
|
|
krasimir
|
9c23a98fc0
|
add PGF.Probabilistic in GF.cabal
|
2010-02-12 16:12:17 +00:00 |
|
|
krasimir
|
ea85cd1078
|
one more test for cyclic operations
|
2010-02-09 18:38:11 +00:00 |
|
|
krasimir
|
64da1c2021
|
allow negative integers in the grammar syntax
|
2010-02-08 12:59:22 +00:00 |
|
|
krasimir
|
a1c70841c1
|
test case for lazy evaluation in the abstract syntax
|
2010-02-07 22:22:30 +00:00 |
|
|
krasimir
|
9564d85fa5
|
command cc now works even without loaded grammar. useful for testing closed expressions
|
2010-02-07 19:23:26 +00:00 |
|
|
krasimir
|
c1d2ed1a7b
|
test case for invalid parameter definition
|
2010-02-06 20:15:46 +00:00 |
|
|
krasimir
|
2544ea8c8a
|
in verbose mode print the rule names when compiling PMCFG
|
2010-02-06 18:24:15 +00:00 |
|
|
krasimir
|
168d459c49
|
bugfix in GrammarToPGF related to the compilation of def rules
|
2010-02-05 22:16:44 +00:00 |
|
|
krasimir
|
b90e56a94e
|
fix the tabular printing when there is a V constructor
|
2010-02-03 17:33:55 +00:00 |
|
|
krasimir
|
563e65c309
|
test case for let expression in def rule
|
2010-02-01 09:18:42 +00:00 |
|
|
krasimir
|
1cd4a500f5
|
added tests for literals in the abstract syntax
|
2010-02-01 08:58:46 +00:00 |
|
|
krasimir
|
2d3de22b17
|
added test cases for polymorphic and record types in the abstract syntax
|
2010-01-31 22:16:35 +00:00 |
|
|
krasimir
|
3be9ce3240
|
add test case for abstract types with let bindings
|
2010-01-31 20:45:48 +00:00 |
|
|
krasimir
|
be6465a2eb
|
refactor GF.Infra.Modules for better error messages
|
2010-01-31 15:54:25 +00:00 |
|
|
krasimir
|
acd927f87b
|
add Show instance and remove the Eq and Ord instances for PGF.Expr.Equation and PGF.Expr.Patt
|
2010-01-31 14:45:44 +00:00 |
|
|
krasimir
|
8d03e48e46
|
code cleanup in PGF.TypeCheck
|
2010-01-30 10:10:51 +00:00 |
|
|
krasimir
|
3b7e39fa4a
|
bugfix in the PGF typechecker and more test cases
|
2010-01-29 21:10:14 +00:00 |
|
|
krasimir
|
e5de8ea9fe
|
update the testsuite
|
2010-01-29 11:13:31 +00:00 |
|
|
krasimir
|
890d455793
|
cleanup the code of the PGF interpreter and polish the binary serialization to match the preliminary specification
|
2010-01-27 09:39:14 +00:00 |
|
|
krasimir
|
bc6323df4c
|
fix the PGF generation when it is used from the shell
|
2010-01-26 14:15:37 +00:00 |
|
|
krasimir
|
9b362ff231
|
PGF is now real synchronous PMCFG
|
2010-01-17 21:35:36 +00:00 |
|
|
krasimir
|
af13bae2df
|
now the linearization is completely based on PMCFG
|
2010-01-17 17:05:21 +00:00 |
|
|
krasimir
|
9e3d4c74dc
|
prettier parameter names in PGF
|
2010-01-17 00:41:46 +00:00 |
|
|
krasimir
|
389b55103c
|
small code cleanup in GeneratePMCFG.hs
|
2010-01-16 22:10:45 +00:00 |
|
|
krasimir
|
cf22bd094f
|
move the definitions of _B and _V to PGF.Macros
|
2010-01-12 14:36:41 +00:00 |
|
|
krasimir
|
ee3ce9694c
|
store the label names in PMCFG
|
2010-01-05 08:35:33 +00:00 |
|
|
krasimir
|
3ed19a482e
|
printnames are now kept as String instead of Term in PGF
|
2010-01-05 07:05:41 +00:00 |
|
|
krasimir
|
354269e17c
|
allow metavariables with indices i.e. ?0, ?1, etc in the abstract syntax parser in PGF
|
2010-01-15 21:23:37 +00:00 |
|
|
krasimir
|
869621db66
|
now the abstract syntax in PGF allows the same syntax for integers, floats and strings as in Haskell. This includes negative integers and exponents in the floats
|
2010-01-15 21:13:46 +00:00 |
|
|
krasimir
|
f8af5122b5
|
additional tests for linearizations
|
2010-01-12 13:18:37 +00:00 |
|
|
krasimir
|
712d079e7c
|
inplace editing/parsing in the syntax editor
|
2010-01-07 10:38:43 +00:00 |
|
|
krasimir
|
5be5ee1ccd
|
better tokenizer in the JavaScript runtime
|
2010-01-07 10:36:16 +00:00 |
|
|
krasimir
|
5276ddab7d
|
added test grammar for literals in the testsuite
|
2010-01-04 13:51:36 +00:00 |
|
|
krasimir
|
f0e6b15ec4
|
some dead code is removed in the JavaScript interpreter
|
2010-01-04 13:47:58 +00:00 |
|
|
krasimir
|
a73a64534e
|
literal categories in the JavaScript interpreter
|
2010-01-04 13:44:21 +00:00 |
|
|
krasimir
|
93fd2333cc
|
fix the editor grammar
|
2010-01-04 12:36:49 +00:00 |
|
|
krasimir
|
2e0d9f43b4
|
in gflib.js declare all variables with 'var' because otherwise they are global by default
|
2010-01-04 12:26:11 +00:00 |
|
|
krasimir
|
819e6e6757
|
in the javascript version of extractTrees filter out the duplicated parse trees
|
2010-01-04 12:20:53 +00:00 |
|
|
krasimir
|
36de4d8c54
|
bugfix in the javascript parser
|
2010-01-04 11:16:17 +00:00 |
|
|
krasimir
|
b92c34bafd
|
js-runtime: redundant loop removed
|
2009-12-27 12:12:51 +00:00 |
|
|
krasimir
|
0a0c7ac4fc
|
use object references instead of FunId and SeqId in the javascript parser
|
2009-12-27 11:03:39 +00:00 |
|
|
krasimir
|
4e6f6b2de2
|
bugfix in the javascript parser
|
2009-12-27 10:46:29 +00:00 |
|
|
krasimir
|
eb373d74ab
|
javascript editor with PMCFG parser. (not stable yet)
|
2009-12-21 13:41:51 +00:00 |
|
|
krasimir
|
e7dcbcc825
|
reverse engineered version of the Editor grammar
|
2009-12-14 20:01:41 +00:00 |
|
|
krasimir
|
4d4b618c93
|
fix the directories in gf-server.cabal
|
2009-12-14 15:21:09 +00:00 |
|
|
krasimir
|
1296211fd0
|
use forward slash instead of back slash in GF.cabal
|
2009-12-14 14:32:55 +00:00 |
|
|
krasimir
|
02f5b44783
|
remove some more dead code
|
2009-12-14 13:11:58 +00:00 |
|
|
krasimir
|
c036459214
|
remove the old parsing code and the -erasing=on flag
|
2009-12-14 10:54:22 +00:00 |
|
|
krasimir
|
faa638d6fc
|
rename some modules that had GFCC in the name to PGF+something
|
2009-12-14 10:10:58 +00:00 |
|
|
krasimir
|
a7811d1199
|
now the PGF to JavaScript convertor uses PMCFG
|
2009-12-14 09:53:53 +00:00 |
|
|
krasimir
|
f85232947e
|
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
|
2009-12-13 18:50:29 +00:00 |
|
|
krasimir
|
d88a865faf
|
rename #Var to __gfVar because it breaks the JavaScript editor
|
2009-12-13 15:29:26 +00:00 |
|
|
krasimir
|
5804db9816
|
judgements lindef are now respected by both the parser and the linearizer
|
2009-12-11 17:39:18 +00:00 |
|
|
krasimir
|
d3b179eeed
|
allow empty lines when reading with 'rf -lines -tree'
|
2009-12-10 18:45:10 +00:00 |
|
|
krasimir
|
fae0ade020
|
function read_file now reports errors if there is expression with parse or type error
|
2009-12-09 22:43:17 +00:00 |
|
|
krasimir
|
5fd6227314
|
change the URL to the bug tracker
|
2009-12-07 15:22:26 +00:00 |
|
|
krasimir
|
8798ff76f9
|
added mkMeta and isMeta in PGF
|
2009-12-05 10:12:03 +00:00 |
|
|
krasimir
|
e06c7da79b
|
fix the pattern matching in unStr, unInt, unDouble
|
2009-12-05 10:06:59 +00:00 |
|
|
krasimir
|
991a58badb
|
TranslateApp now have browser for abstract syntax
|
2009-11-29 14:51:12 +00:00 |
|
|
krasimir
|
2c54ad525e
|
function doListGrammars in PGFService is obsolete
|
2009-11-26 16:27:04 +00:00 |
|
|
krasimir
|
d7fba06bda
|
the default function of the PGFService should return list of functions as well as list of categories
|
2009-11-26 14:47:35 +00:00 |
|
|
krasimir
|
ba1b602053
|
change PGF.categories to return list of identifiers instead of types
|
2009-11-26 14:43:31 +00:00 |
|
|
krasimir
|
0ddf8ff18d
|
slight optimization in GF.Grammar.Lexer
|
2009-11-17 21:49:51 +00:00 |
|
|
krasimir
|
4c17b7ba95
|
lookupResType should always return the precomputed CncFun type
|
2009-11-14 09:21:34 +00:00 |
|
|
krasimir
|
ee97e0b963
|
bugfix: In AppPredefined.hs, PTrue and PFalse should be declared as constructors
|
2009-11-13 21:52:53 +00:00 |
|
|
krasimir
|
129d914002
|
add test case for typechecking of lincat
|
2009-11-13 10:28:37 +00:00 |
|
|
krasimir
|
36d025877b
|
for 'lincat C = T' the typechecker should check that T is a valid type
|
2009-11-13 10:25:31 +00:00 |
|
|
krasimir
|
94171908c0
|
before the optimizations OptParametrize and OptValues were applied twice. in addition the values optimization is now always applied because it become very cheep
|
2009-11-12 21:11:51 +00:00 |
|
|
krasimir
|
3aa208dd2b
|
parteval -> partial evaluation
|
2009-11-12 20:12:59 +00:00 |
|
|
krasimir
|
3d838e0172
|
bugfix: GF.Compile.GrammarToGFCC should not strip the parameter values
|
2009-11-12 20:09:59 +00:00 |
|
|
krasimir
|
2a22325678
|
check grammar should process the definitions in dependency order. This also ensures that the list of parameters for some parameter type is complete
|
2009-11-07 15:30:57 +00:00 |
|
|
krasimir
|
7c513609f0
|
bugfix: if a concrete module has operations then they also should be optimized
|
2009-11-07 15:18:25 +00:00 |
|
|
krasimir
|
ea49556395
|
update testsuite/runtime/parser/Parse.hs
|
2009-11-02 16:31:32 +00:00 |
|
|
krasimir
|
78355d63ac
|
update the testsuite
|
2009-10-28 18:07:49 +00:00 |
|
|
krasimir
|
0fb91bbb2f
|
added test cases for cyrcular definitions
|
2009-10-28 17:59:18 +00:00 |
|
|
krasimir
|
c330cac1db
|
check for cyclic parameters, operations and dependent types
|
2009-10-28 17:44:50 +00:00 |
|
|
krasimir
|
d130d30669
|
refactoring in GF.Grammar.Lookup
|
2009-10-28 17:10:43 +00:00 |
|
|
krasimir
|
980844a4ad
|
restructure ResParam and ResValue
|
2009-10-28 16:47:01 +00:00 |
|
|
krasimir
|
f2e5281602
|
bugfix in GF.Compile.CheckGrammar
|
2009-10-28 09:10:58 +00:00 |
|
|
krasimir
|
83bc6d4cda
|
simplify the Term again
|
2009-10-27 15:45:05 +00:00 |
|
|
krasimir
|
8ebb4e854a
|
fix the compilation of MorphoService.hs
|
2009-10-27 09:10:50 +00:00 |
|
|
krasimir
|
6753fdae72
|
strip some redundant constructors from GF.Grammar.Grammar
|
2009-10-25 18:01:04 +00:00 |
|
|
krasimir
|
d63be8ac72
|
small refactoring in GF.Compile.CheckGrammar
|
2009-10-25 15:20:44 +00:00 |
|
|
krasimir
|
116912647b
|
add GF.Compile.Concrete.TypeCheck in GF.cabal
|
2009-10-25 13:10:24 +00:00 |
|
|
krasimir
|
8a0db59798
|
split the abstract syntax specific and the concrete syntax specific modules in different subfolders in GF.Compile
|
2009-10-24 17:42:02 +00:00 |
|
|
krasimir
|
873363ff9b
|
refactoring in GF.Compile.Optimize
|
2009-10-24 16:08:00 +00:00 |
|
|
krasimir
|
ca5b6b0eec
|
integrate Polish in the build system
|
2009-10-24 12:32:03 +00:00 |
|
|
krasimir
|
02bb6cc073
|
added tree visualizations in TranslateApp
|
2009-10-24 10:38:21 +00:00 |
|
|
krasimir
|
59172a0380
|
expose the tree visualization via PGF API
|
2009-10-24 09:03:40 +00:00 |
|
|
krasimir
|
b8df9c92bb
|
fix typo
|
2009-10-23 12:16:29 +00:00 |
|
|
krasimir
|
d5f4669aec
|
experimental robust parser
|
2009-10-23 08:35:32 +00:00 |
|
|
krasimir
|
70ec6632fd
|
added smart constructors for types in PGF
|
2009-10-15 16:21:26 +00:00 |
|
|
krasimir
|
861e0a4c13
|
make the GF server to compile after that changes in the PGF runtime
|
2009-10-15 11:32:25 +00:00 |
|