gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Collapse)	Author
2011-11-30	Hopefully complete Value type and a little bit more on computations.	kr.angelov

2011-11-30	more stuff in the new type checker	kr.angelov

2011-11-29	fix the compilation after the patch for the new type checker	kr.angelov

2011-11-29	Sketch of the new type checker for the concrete syntax. Enabled only with ↵	kr.angelov
	-new-comp
2011-11-24	now if some module is compiled with -no-pmcfg then the PMCFG code is ↵	kr.angelov
	generated at the end during the linking phase. Now the default compilation of the libraries with cabal is with -no-pmcfg.
2011-11-22	make addSequencesB(V) strict. Otherwise we get stack overflow when compiling ↵	kr.angelov
	LangFre
2011-11-17	rebuildModule should do location globalization too	kr.angelov

2011-11-17	bugfix in the overload resolution. It was accidentally introduced as part of ↵	kr.angelov
	the per module PMCFG generation
2011-11-15	fix in the versioning of the .gfo files	kr.angelov

2011-11-15	now we store version number in every .gfo file. If the file is compiled with ↵	kr.angelov
	different compiler then we simply recompile it.
2011-11-15	now the pretty printer in GF has a new mode called Internal. This is the ↵	kr.angelov
	most detailed mode and it can print even things that are not in the GF syntax. For example PMCFG snippets and indirections.
2011-11-15	Now the errors messages from GF.Compile.Update also follow the new format	kr.angelov

2011-11-15	the indirections in the .gf-tags files now point directly to the origin of ↵	kr.angelov
	the corresponding indentifiers
2011-11-15	more structured format for errors and warnings from the compiler	kr.angelov

2011-11-14	bugfix in the new PGF generation	kr.angelov

2011-11-14	remove the -output-file option	kr.angelov

2011-11-14	the new design for -tags	kr.angelov

2011-11-10	Now PMCFG is compiled per module and at the end we only link it. The new ↵	kr.angelov
	compilation schema is few times faster.
2011-11-10	remove few obsolete options from GF.Infra.Options	kr.angelov

2011-11-02	merge GF.Infra.Modules and GF.Grammar.Grammar. This is a preparation for the ↵	kr.angelov
	separate PGF building
2011-11-02	Now the compiler maintains more precise information for the source locations ↵	kr.angelov
	of the different definitions. There is a --tags option which generates a list of all identifiers with their source locations.
2011-11-01	Remove configuration flag cclazy	hallgren

2011-11-01	Fixed a typo in the shell online help	Nick Frolov

2011-10-25	Recording an alternative version of look in Compute/ConcreteLazy.hs	hallgren
	Commented out, causes problems in the greek example.
2011-10-25	qualification with real module name accepted, as in GF refman	aarne

2011-10-24	use associativity to force more precompilation of pre expressions	aarne

2011-10-20	Introduce an explicit error value in the Term type	hallgren
	This makes it easier to treat run-time errors (e.g. caused by calls to Predef.error) in a way that is more typical for a lazy functional language.
2011-10-20	Some experiments with PSeq (left commented out)	hallgren

2011-10-20	Compute/ConcreteLazy.hs: no need to reverse when looking up labels in records	hallgren

2011-10-20	AppPredefined.hs: more readable notation for the types of primitives	hallgren

2011-09-26	don't count app nodes in term size	aarne

2011-09-25	structured examples in help into pairs (command,explanation)	aarne

2011-09-24	bug fixes in code size analysis	aarne

2011-09-22	change the precedence for the left argument of ->	kr.angelov

2011-09-22	the sd -size command now shows the size of all code needed for defining an oper	aarne

2011-09-22	documented the ss command	aarne

2011-09-21	statistics on grammar size in terms of constructors	aarne

2011-09-21	commands ss to show source, and sd to show the dependencies of a constant	aarne

2011-09-20	module for analysing source grammars	aarne

2011-09-20	command ss to show source (including gfo) in text; to be extended	aarne

2011-09-15	Add a command name header to the 'help -t2t' output	hallgren

2011-09-15	made ps -from_TRANSLIT symmetric to -to_TRANSLIT in the sense that unknown ↵	aarne
	characters are returned as themselves and not as question marks
2011-09-14	Omit empty sections in gf help output	hallgren

2011-09-14	GF shell command 'help -t2t' outputs help in txt2tags format	hallgren

2011-09-09	Don't make noexpand the default with -fcclazy	hallgren
	This reverts the previous change. Not preprocessing opers turns out to make a difference in what needs to be mentioned in restricted inheritance/imports.
2011-09-09	Make noexpand the default optimization package when configuring with -fcclazy	hallgren

2011-09-09	Remove unused function computeConcreteRec.	hallgren
	This also allows the parameter rec to be removed from function computeTermOpt. (The change is made in GF.Compile.Compute.ConcreteLazy, but not in GF.Compile.Compute.ConcreteStrict.)
2011-09-07	GF.Grammar.Macros: simplify composOp and composSafeOp	hallgren

2011-09-05	Make the -fcclazy configuration option visible in the build info in the GF ↵	hallgren
	Shell welcome message
2011-09-01	Add lazy version of GF.Compile.Compute.Concrete	hallgren
	This patch adds GF.Compile.Compute.ConcreteLazy, which replaces the Err monad with the Identity monad. While the Err monad makes the interpreter (hyper)strict, the Identity monad let's the interpreter inherit Haskell's laziness. This can give big speedups: from 50s to 1s in one example, from ~4 minutes to ~2 minutes for the RGL. This is still experimental and might be buggy, so it is off by default. You can turn it on by configuring with the -fcclazy flag, e.g. cabal configure -fcclazy Let me know if anything breaks.