 krasimir
|
57b8e42601
|
added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
|
2010-03-20 07:26:53 +00:00 |
|
|
krasimir
|
a74a81b8a1
|
pattern @ should be propagated to PGF
|
2010-03-18 20:21:57 +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
|
dc0a84951f
|
incomplete code for adjoints and monads
|
2010-03-15 17:31:15 +00:00 |
|
|
krasimir
|
8ac49f854f
|
identity functor
|
2010-03-15 16:35:00 +00:00 |
|
|
krasimir
|
1d97276a14
|
added natural transformations
|
2010-03-15 14:52:47 +00:00 |
|
|
krasimir
|
347347d411
|
incomplete code for composition of functors
|
2010-03-15 10:47:00 +00:00 |
|
|
krasimir
|
77be515422
|
refactor Morphisms.gf and InitialAndTerminal.gf
|
2010-03-15 10:43:20 +00:00 |
|
|
krasimir
|
52d5967008
|
two theorems without proofs: every equalizer is monomorphism; every coequalizer is epimorphisms
|
2010-03-15 10:41:39 +00:00 |
|
|
krasimir
|
8985a9ea04
|
added Equalizers in category-theory
|
2010-03-15 09:57:39 +00:00 |
|
|
krasimir
|
34f5b2a436
|
bugfix in PGF.TypeCheck
|
2010-03-14 12:21:00 +00:00 |
|
|
krasimir
|
6a89647a6d
|
cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope
|
2010-03-13 20:12:00 +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
|
5d2b204246
|
refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store
|
2010-02-22 15:50:41 +00:00 |
|
|
krasimir
|
415375f35c
|
functors
|
2010-02-22 14:40:28 +00:00 |
|
|
krasimir
|
34a8b768eb
|
the oposites of two equal arrows are equal arrows
|
2010-02-22 14:38:13 +00:00 |
|
|
krasimir
|
f3c6acc6dc
|
bugfix in PGF.TypeCheck
|
2010-02-20 18:48:06 +00:00 |
|
|
krasimir
|
25adc81550
|
two theorems every iso is mono and every iso is epi
|
2010-02-20 16:37:23 +00:00 |
|
|
krasimir
|
8ca24fcad6
|
some more definitions in category theory
|
2010-02-20 16:33:40 +00:00 |
|
|
krasimir
|
ff30de63ce
|
one more test for cyclic def rules
|
2010-02-16 20:27:07 +00:00 |
|
|
krasimir
|
3aa7aa84bb
|
fix the Haskell code generation
|
2010-02-17 13:09:23 +00:00 |
|
|
krasimir
|
897682d952
|
replace SS with StmtS in SUMO
|
2010-02-17 12:38:11 +00:00 |
|
|
krasimir
|
07fa5c575d
|
added TPTP for SUMO
|
2010-02-17 12:21:41 +00:00 |
|
|
krasimir
|
6b8fa0eaa1
|
SUMO axioms
|
2010-02-17 11:12:43 +00:00 |
|
|
krasimir
|
06654cbb5e
|
added examples/SUMO
|
2010-02-17 11:07:24 +00:00 |
|
|
krasimir
|
e54ac49769
|
fix in PGF.Printer
|
2010-02-17 10:31:10 +00:00 |
|
|
krasimir
|
d91ffecfa4
|
-output-format=pgf_pretty now prints the flags as well
|
2010-02-17 10:20:49 +00:00 |
|
|
krasimir
|
e1ac90f543
|
fix the PGF printer for abstract
|
2010-02-16 21:47:58 +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
|
62781ca519
|
more category theory -> morphisms, initial and terminal objects
|
2010-02-15 10:35:24 +00:00 |
|
|
krasimir
|
2702b64722
|
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
|
731d46643d
|
white space instead of tab in GF.cabal
|
2010-02-12 21:31:30 +00:00 |
|
|
krasimir
|
991e51373a
|
add PGF.Probabilistic in GF.cabal
|
2010-02-12 16:12:17 +00:00 |
|
|
krasimir
|
96b1041763
|
one more test for cyclic operations
|
2010-02-09 18:38:11 +00:00 |
|
|
krasimir
|
8c4fd9de9b
|
allow negative integers in the grammar syntax
|
2010-02-08 12:59:22 +00:00 |
|
|
krasimir
|
1e7cb24e70
|
test case for lazy evaluation in the abstract syntax
|
2010-02-07 22:22:30 +00:00 |
|
|
krasimir
|
1c2a240b2c
|
command cc now works even without loaded grammar. useful for testing closed expressions
|
2010-02-07 19:23:26 +00:00 |
|
|
krasimir
|
c019609e23
|
some changes in Urdu by Shafqat
|
2010-02-07 09:10:08 +00:00 |
|
|
krasimir
|
7588807c1b
|
test case for invalid parameter definition
|
2010-02-06 20:15:46 +00:00 |
|
|
krasimir
|
625c8e0e03
|
in verbose mode print the rule names when compiling PMCFG
|
2010-02-06 18:24:15 +00:00 |
|
|
krasimir
|
c2259adf5d
|
bugfix in GrammarToPGF related to the compilation of def rules
|
2010-02-05 22:16:44 +00:00 |
|
|
krasimir
|
e33447aadd
|
fix the tabular printing when there is a V constructor
|
2010-02-03 17:33:55 +00:00 |
|
|
krasimir
|
3d5864918b
|
test case for let expression in def rule
|
2010-02-01 09:18:42 +00:00 |
|
|
krasimir
|
884c55f7e6
|
added tests for literals in the abstract syntax
|
2010-02-01 08:58:46 +00:00 |
|
|
krasimir
|
b625b416ee
|
added test cases for polymorphic and record types in the abstract syntax
|
2010-01-31 22:16:35 +00:00 |
|
|
krasimir
|
5eeb41a67f
|
add test case for abstract types with let bindings
|
2010-01-31 20:45:48 +00:00 |
|
|
krasimir
|
4485e97181
|
refactor GF.Infra.Modules for better error messages
|
2010-01-31 15:54:25 +00:00 |
|
|
krasimir
|
c93e406997
|
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
|
3926ea1a05
|
code cleanup in PGF.TypeCheck
|
2010-01-30 10:10:51 +00:00 |
|
|
krasimir
|
9e547710f5
|
bugfix in the PGF typechecker and more test cases
|
2010-01-29 21:10:14 +00:00 |
|
|
krasimir
|
ed446a4295
|
update the testsuite
|
2010-01-29 11:13:31 +00:00 |
|
|
krasimir
|
3685595ece
|
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
|
38b02bb64d
|
fix the PGF generation when it is used from the shell
|
2010-01-26 14:15:37 +00:00 |
|
|
krasimir
|
a039808141
|
PGF is now real synchronous PMCFG
|
2010-01-17 21:35:36 +00:00 |
|
|
krasimir
|
362f333ebd
|
now the linearization is completely based on PMCFG
|
2010-01-17 17:05:21 +00:00 |
|
|
krasimir
|
61867b2b72
|
prettier parameter names in PGF
|
2010-01-17 00:41:46 +00:00 |
|
|
krasimir
|
190cd6930b
|
small code cleanup in GeneratePMCFG.hs
|
2010-01-16 22:10:45 +00:00 |
|
|
krasimir
|
e5efe28c74
|
move the definitions of _B and _V to PGF.Macros
|
2010-01-12 14:36:41 +00:00 |
|
|
krasimir
|
11218cdbca
|
store the label names in PMCFG
|
2010-01-05 08:35:33 +00:00 |
|
|
krasimir
|
f841b1ada5
|
printnames are now kept as String instead of Term in PGF
|
2010-01-05 07:05:41 +00:00 |
|
|
krasimir
|
e0dda5b65a
|
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
|
a04cbcfb63
|
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
|
c00d3be656
|
additional tests for linearizations
|
2010-01-12 13:18:37 +00:00 |
|
|
krasimir
|
2b6eaf6f11
|
inplace editing/parsing in the syntax editor
|
2010-01-07 10:38:43 +00:00 |
|
|
krasimir
|
de615a3392
|
better tokenizer in the JavaScript runtime
|
2010-01-07 10:36:16 +00:00 |
|
|
krasimir
|
884db4c08c
|
added test grammar for literals in the testsuite
|
2010-01-04 13:51:36 +00:00 |
|
|
krasimir
|
0075e4bf60
|
some dead code is removed in the JavaScript interpreter
|
2010-01-04 13:47:58 +00:00 |
|
|
krasimir
|
c8fbc24906
|
literal categories in the JavaScript interpreter
|
2010-01-04 13:44:21 +00:00 |
|
|
krasimir
|
83ded542e9
|
fix the editor grammar
|
2010-01-04 12:36:49 +00:00 |
|
|
krasimir
|
838c4f9683
|
in gflib.js declare all variables with 'var' because otherwise they are global by default
|
2010-01-04 12:26:11 +00:00 |
|
|
krasimir
|
c891123026
|
in the javascript version of extractTrees filter out the duplicated parse trees
|
2010-01-04 12:20:53 +00:00 |
|
|
krasimir
|
dc2bf98294
|
bugfix in the javascript parser
|
2010-01-04 11:16:17 +00:00 |
|
|
krasimir
|
548d7e3209
|
js-runtime: redundant loop removed
|
2009-12-27 12:12:51 +00:00 |
|
|
krasimir
|
c6ac5df859
|
use object references instead of FunId and SeqId in the javascript parser
|
2009-12-27 11:03:39 +00:00 |
|
|
krasimir
|
1e3dacfd71
|
bugfix in the javascript parser
|
2009-12-27 10:46:29 +00:00 |
|
|
krasimir
|
212fb4d789
|
javascript editor with PMCFG parser. (not stable yet)
|
2009-12-21 13:41:51 +00:00 |
|
|
krasimir
|
1e592e20e6
|
reverse engineered version of the Editor grammar
|
2009-12-14 20:01:41 +00:00 |
|
|
krasimir
|
286e60c7dc
|
fix the directories in gf-server.cabal
|
2009-12-14 15:21:09 +00:00 |
|
|
krasimir
|
57d07a295a
|
use forward slash instead of back slash in GF.cabal
|
2009-12-14 14:32:55 +00:00 |
|
|
krasimir
|
7a449030b0
|
remove some more dead code
|
2009-12-14 13:11:58 +00:00 |
|
|
krasimir
|
76debee2c1
|
remove the old parsing code and the -erasing=on flag
|
2009-12-14 10:54:22 +00:00 |
|
|
krasimir
|
15ddc283d4
|
rename some modules that had GFCC in the name to PGF+something
|
2009-12-14 10:10:58 +00:00 |
|
|
krasimir
|
71e51e34c3
|
now the PGF to JavaScript convertor uses PMCFG
|
2009-12-14 09:53:53 +00:00 |
|
|
krasimir
|
c92f9d1c0c
|
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
|
2009-12-13 18:50:29 +00:00 |
|
|
krasimir
|
15305efa5a
|
rename #Var to __gfVar because it breaks the JavaScript editor
|
2009-12-13 15:29:26 +00:00 |
|
|
krasimir
|
7c2bce5779
|
judgements lindef are now respected by both the parser and the linearizer
|
2009-12-11 17:39:18 +00:00 |
|
|
krasimir
|
541aee6ae6
|
allow empty lines when reading with 'rf -lines -tree'
|
2009-12-10 18:45:10 +00:00 |
|
|
krasimir
|
8de29e2227
|
function read_file now reports errors if there is expression with parse or type error
|
2009-12-09 22:43:17 +00:00 |
|
|
krasimir
|
ee04ff6157
|
change the URL to the bug tracker
|
2009-12-07 15:22:26 +00:00 |
|
|
krasimir
|
234247b2bd
|
added mkMeta and isMeta in PGF
|
2009-12-05 10:12:03 +00:00 |
|
|
krasimir
|
65e9869f1a
|
fix the pattern matching in unStr, unInt, unDouble
|
2009-12-05 10:06:59 +00:00 |
|
|
krasimir
|
bfa926062a
|
more fixes in DictEng
|
2009-12-05 10:05:26 +00:00 |
|
|
krasimir
|
03ac7006c8
|
UK, US and USA should be with capital letters in DictEng
|
2009-12-03 21:46:01 +00:00 |
|
|
krasimir
|
0c8f581bcf
|
remove that_A and that_Adv also
|
2009-12-03 21:18:00 +00:00 |
|
|
krasimir
|
04d6a7addb
|
few more fake words in DictEng
|
2009-12-03 21:08:32 +00:00 |
|
|
krasimir
|
080f299483
|
remove some fake and some duplicated words from DictEngAbs and DictEng
|
2009-12-03 19:59:25 +00:00 |
|
|
krasimir
|
836e742ddf
|
TranslateApp now have browser for abstract syntax
|
2009-11-29 14:51:12 +00:00 |
|
|
krasimir
|
abe21f6fbb
|
function doListGrammars in PGFService is obsolete
|
2009-11-26 16:27:04 +00:00 |
|