 krasimir
|
4e85f8ada3
|
refactor BracketedString
|
2010-05-01 21:02:32 +00:00 |
|
|
krasimir
|
029fbec8f3
|
test for bracketedLinearize
|
2010-05-01 20:54:31 +00:00 |
|
|
krasimir
|
c1406bdcdf
|
bug fix for bracketedLinearize with HOAS and meta variables
|
2010-05-01 20:51:07 +00:00 |
|
|
krasimir
|
0f1cce53c6
|
fixes in unStr,unInt,unDouble,isMeta
|
2010-05-01 07:29:41 +00:00 |
|
|
krasimir
|
9e7b914c3c
|
for backward compatibility we have the old parse function again. the old functionality is exposed by parse_
|
2010-04-30 20:18:26 +00:00 |
|
|
krasimir
|
1c590e41f4
|
optimize/simplify the error reporting in the new API
|
2010-04-30 20:16:16 +00:00 |
|
|
krasimir
|
af5f12d672
|
upgrade the testsuite to work with GHC 6.12
|
2010-04-30 19:27:53 +00:00 |
|
|
krasimir
|
c757e914cd
|
fix PGFService after the change in the API
|
2010-04-30 15:09:21 +00:00 |
|
|
krasimir
|
8460598801
|
first incarnation of the bracketed string API
|
2010-04-30 14:36:06 +00:00 |
|
|
krasimir
|
68de1cead3
|
wf,vt,vp,vd,aw should store files in utf8
|
2010-04-28 17:37:53 +00:00 |
|
|
krasimir
|
c87bbcb8e4
|
fix the -view option for vt,vp,vd,aw to work on Windows
|
2010-04-27 20:01:54 +00:00 |
|
|
krasimir
|
2f62ab26e6
|
convert GF.Data.SortedList to UTF8
|
2010-04-24 09:13:26 +00:00 |
|
|
krasimir
|
9253ee6010
|
fix parsing of literals
|
2010-04-23 20:46:14 +00:00 |
|
|
krasimir
|
cc4d5d1d39
|
change the developers link directly in index.html
|
2010-04-23 18:58:46 +00:00 |
|
|
krasimir
|
acbc41ef97
|
added link to the bugtracker from gf.cabal
|
2010-04-23 14:40:20 +00:00 |
|
|
krasimir
|
4800cd7159
|
tweak gf.cabal to be more Hackage friendly
|
2010-04-23 14:13:36 +00:00 |
|
|
krasimir
|
c440199cd8
|
redirect the developers link to the GF wiki
|
2010-04-23 13:59:23 +00:00 |
|
|
krasimir
|
bafbd7a814
|
link to Hackage from download/index.txt
|
2010-04-23 13:56:32 +00:00 |
|
|
krasimir
|
16b1fb4959
|
update index.txt
|
2010-04-23 13:44:18 +00:00 |
|
|
krasimir
|
f204723fdb
|
more in the release notes for 3.1.6
|
2010-04-23 13:26:57 +00:00 |
|
|
krasimir
|
e3a279e457
|
now the PGF service communicates with Graphviz using UTF8 for the input and binary for the output
|
2010-04-22 14:01:08 +00:00 |
|
|
krasimir
|
9db279b24b
|
the pgf service now compiles with the latest CGI package
|
2010-04-22 12:37:36 +00:00 |
|
|
krasimir
|
007f501f05
|
bump GF version to 3.1.6
|
2010-04-22 08:41:51 +00:00 |
|
|
krasimir
|
50a7512c1b
|
fix command cc for Unicode
|
2010-04-19 15:41:23 +00:00 |
|
|
krasimir
|
7c67a90327
|
always use Haskeline. drop Readline & Editline
|
2010-04-19 15:12:52 +00:00 |
|
|
krasimir
|
6313244eac
|
use the native unicode support from GHC 6.12
|
2010-04-19 09:38:36 +00:00 |
|
|
krasimir
|
bc504835d2
|
add Bul to the list of languages in Setup.hs that have API
|
2010-04-19 09:43:58 +00:00 |
|
|
krasimir
|
f194326f62
|
add the easy words and phrases in PhrasebookBul
|
2010-04-16 16:32:45 +00:00 |
|
|
krasimir
|
24d2acf097
|
fix the molto-molto-molto problem
|
2010-04-12 13:55:40 +00:00 |
|
|
krasimir
|
d83c2d01d8
|
export fullFormLexicon from PGF
|
2010-03-31 11:09:12 +00:00 |
|
|
krasimir
|
887a552497
|
even simpler version of NQueens
|
2010-03-24 21:04:37 +00:00 |
|
|
krasimir
|
9a1d0e8d11
|
bugfix in the lProlog generator
|
2010-03-24 20:54:20 +00:00 |
|
|
krasimir
|
fdd68f9040
|
the Plus predicate from NQueens is replaced with definition for function plus
|
2010-03-24 16:14:36 +00:00 |
|
|
krasimir
|
14f19b9865
|
partial support for def-rules in the Lambda Prolog generation
|
2010-03-24 16:12:58 +00:00 |
|
|
krasimir
|
68482aa7e9
|
now for every category we store, in PGF, the list of functions for it in source-code order. The order matters for the termination of the exhaustive generation with dependent types.
|
2010-03-24 11:11:55 +00:00 |
|
|
krasimir
|
76d155af0e
|
typo in CheckGrammar
|
2010-03-23 15:35:32 +00:00 |
|
|
krasimir
|
c80c403da2
|
use the new more accurate location information for some error messages
|
2010-03-23 15:24:48 +00:00 |
|
|
krasimir
|
1e51690b71
|
added codepage for Turkish
|
2010-03-23 13:44:17 +00:00 |
|
|
krasimir
|
850b897f08
|
added comment to every GF.Text.CPxxxx module about the purpose of the codepage
|
2010-03-23 12:19:34 +00:00 |
|
|
krasimir
|
472c5e8ee7
|
add JavaScript API for completion. contributed by John J. Camilleri
|
2010-03-23 08:55:56 +00:00 |
|
|
krasimir
|
e7f01aa5f0
|
fix checkInfoType in Parser.y
|
2010-03-22 23:49:15 +00:00 |
|
|
krasimir
|
bf74f50733
|
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
|
2ac96a7643
|
transliteration for Urdu
|
2010-03-22 09:29:43 +00:00 |
|
|
krasimir
|
0da54cdf64
|
produce optimized Lambda Prolog code
|
2010-03-22 08:56:42 +00:00 |
|
|
krasimir
|
f4574a4cfa
|
the NQueens algorithm written in GF
|
2010-03-21 19:01:57 +00:00 |
|
|
krasimir
|
fba592ecf8
|
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
|
973a0cacb7
|
pattern @ should be propagated to PGF
|
2010-03-18 20:21:57 +00:00 |
|
|
krasimir
|
985bb550c0
|
fix the precedence for patterns ~, - and @
|
2010-03-18 19:52:45 +00:00 |
|
|
krasimir
|
f870c4d80f
|
syntax for inaccessible patterns in GF
|
2010-03-18 19:34:30 +00:00 |
|
|
krasimir
|
d91999dec0
|
incomplete code for adjoints and monads
|
2010-03-15 17:31:15 +00:00 |
|
|
krasimir
|
381a7a2f07
|
identity functor
|
2010-03-15 16:35:00 +00:00 |
|
|
krasimir
|
c6f3111e67
|
added natural transformations
|
2010-03-15 14:52:47 +00:00 |
|
|
krasimir
|
aef1a1a5a3
|
incomplete code for composition of functors
|
2010-03-15 10:47:00 +00:00 |
|
|
krasimir
|
9f45bb0df1
|
refactor Morphisms.gf and InitialAndTerminal.gf
|
2010-03-15 10:43:20 +00:00 |
|
|
krasimir
|
d7c68cdf27
|
two theorems without proofs: every equalizer is monomorphism; every coequalizer is epimorphisms
|
2010-03-15 10:41:39 +00:00 |
|
|
krasimir
|
dfbc6ba9a3
|
added Equalizers in category-theory
|
2010-03-15 09:57:39 +00:00 |
|
|
krasimir
|
828fc44029
|
bugfix in PGF.TypeCheck
|
2010-03-14 12:21:00 +00:00 |
|
|
krasimir
|
db2d9a3238
|
cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope
|
2010-03-13 20:12:00 +00:00 |
|
|
krasimir
|
21b10f91cb
|
rule for pretty printing implicit arguments
|
2010-02-22 20:09:28 +00:00 |
|
|
krasimir
|
d2988814a8
|
add pretty printing rule for implicit patterns
|
2010-02-22 20:02:53 +00:00 |
|
|
krasimir
|
09da1013f9
|
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
|
21ad608e2a
|
functors
|
2010-02-22 14:40:28 +00:00 |
|
|
krasimir
|
bcf4bc7d23
|
the oposites of two equal arrows are equal arrows
|
2010-02-22 14:38:13 +00:00 |
|
|
krasimir
|
59d640088e
|
bugfix in PGF.TypeCheck
|
2010-02-20 18:48:06 +00:00 |
|
|
krasimir
|
45d209baf8
|
two theorems every iso is mono and every iso is epi
|
2010-02-20 16:37:23 +00:00 |
|
|
krasimir
|
3d8b7f9850
|
some more definitions in category theory
|
2010-02-20 16:33:40 +00:00 |
|
|
krasimir
|
d09b05ab3f
|
one more test for cyclic def rules
|
2010-02-16 20:27:07 +00:00 |
|
|
krasimir
|
57c2a4dcd2
|
fix the Haskell code generation
|
2010-02-17 13:09:23 +00:00 |
|
|
krasimir
|
bfdef2f60c
|
replace SS with StmtS in SUMO
|
2010-02-17 12:38:11 +00:00 |
|
|
krasimir
|
d6627b5a5a
|
added TPTP for SUMO
|
2010-02-17 12:21:41 +00:00 |
|
|
krasimir
|
6690fbaf6c
|
SUMO axioms
|
2010-02-17 11:12:43 +00:00 |
|
|
krasimir
|
f7f0112256
|
added examples/SUMO
|
2010-02-17 11:07:24 +00:00 |
|
|
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 |
|