3211 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
aarne	5ea49dfa86	moved some doc to deprecated; empty dirs in lib to enable lib/src/Make	2009-12-14 09:54:23 +00:00
aarne	b5a541e65a	unicode encoding in quiz questions fixed	2009-12-13 18:51:20 +00:00
krasimir	5804db9816	judgements lindef are now respected by both the parser and the linearizer	2009-12-11 17:39:18 +00:00
aarne	3353059277	moved bin/jgf to deprecated	2009-12-11 16:27:24 +00:00
krasimir	d3b179eeed	allow empty lines when reading with 'rf -lines -tree'	2009-12-10 18:45:10 +00:00
aarne	7cc9ede481	index: version still 3.0	2009-12-10 16:24:52 +00:00
aarne	6b7780fb49	updated index page - back in old place after all	2009-12-09 17:22:17 +00:00
hallgren	d99e919228	Added a page title on the home page	2009-12-10 12:44:42 +00:00
hallgren	0a914465eb	Transparent logo background	2009-12-10 12:35:54 +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
aarne	c8ceed08ef	moving a few things to deprecated	2009-12-09 09:47:16 +00:00
aarne	101df06f6c	manual web page edits from cs.chalmers	2009-12-09 09:37:47 +00:00
aarne	b0f3796360	Polish Bronzeage, compile with 13 languages	2009-12-08 13:04:05 +00:00
aarne	0bafd45952	making Arabic minimal compile; strange chars remain	2009-12-08 07:32:46 +00:00
krasimir	5fd6227314	change the URL to the bug tracker	2009-12-07 15:22:26 +00:00
aarne	7f47802cd2	Constructors.str2numeral for making numerals from strings	2009-12-07 10:29:53 +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
aarne	cec6c8ed97	abstracts, literals, and variables in tree visualization	2009-12-01 09:55:01 +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
aarne	6b0a662c35	restored a parsing grammar api/Browse	2009-11-20 15:14:41 +00:00
krasimir	0ddf8ff18d	slight optimization in GF.Grammar.Lexer	2009-11-17 21:49:51 +00:00
aarne	e91cd9c832	Dutch lexicon generated via Google translate; method in lib/src/MkExx.hs	2009-11-16 15:21:56 +00:00
aarne	dcc2888faf	command vt -mk for displaying overload-style function names	2009-11-15 20:03:28 +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
aarne	6898667b3e	questions, relatives, numerals - most of Dutch syntax soon in place	2009-11-11 20:34:09 +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