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

Age	Commit message (Collapse)	Author
2014-10-26	an explicit SAVE instruction	kr.angelov

2014-10-24	comment out a few assertions in bits.h. this code is run too often to have ↵	kr.angelov
	explicit assertions
2014-10-24	make it possible to specify the initial size of a map in libgu	kr.angelov

2014-10-24	simplify gu/map	kr.angelov

2014-10-24	fix memory leak in the pgf-parse tool	kr.angelov

2014-10-24	add extern declarations for all inline functions in seq.h. this ensures that ↵	kr.angelov
	everything works even when the compiler's optimizations are off
2014-10-23	a simple optimization in cmp_item_prob with great effect on the parser's speed	kr.angelov

2014-10-23	remove some deadcode in gu/seq.h	kr.angelov

2014-10-23	inline a number of functions in gu/seq.c. this has a noticeable effect on ↵	kr.angelov
	the parser's speed
2014-10-23	a cosmetic optimization in mem.c	kr.angelov

2014-10-23	fix the debug mode in the reasoner	kr.angelov

2014-10-23	fix warning in ucs.c	kr.angelov

2014-10-22	Various small changes for improved documentation	hallgren

2014-10-22	CAPIT is now naturally supported in the C runtime	kr.angelov

2014-10-22	add Unicode classification routines to libgu. ported from the base package ↵	kr.angelov
	in Haskell.
2014-10-22	an explicit PUSH_FRAME instruction	kr.angelov

2014-10-22	make the fields of BracketedString in the Python binding read/write	kr.angelov

2014-10-21	ModuleName and Ident are now distinct types	hallgren
	This makes the documentation clearer, and can potentially catch more programming mistakes.
2014-10-21	Renaming SourceGrammar to Grammar and similarly for some related types	hallgren
	Included renamings: SourceGrammar -> Grammar SourceModule -> Module SourceModInfo -> ModuleInfo emptySourceGrammar -> emptyGrammar Also introduces a type synonym (which might be good to turn into a newtype): type ModuleName = Ident The reason is to make types like the following more self documenting: type Module = (ModuleName,ModuleInfo) type QIdent = (ModuleName,Ident)
2014-10-20	use of 'head' in TypeCheck/RConcrete created an uncomprehensible error ↵	aarne
	message. Now checking for the emptiness of the list concerned, so that the error can be found.
2014-10-20	Some small documentation improvements	hallgren

2014-10-20	type IOE a = IO a	hallgren
	IOE used to be a monad with extra error handling built on top of the IO monad, But the IO monad already supports error handling, so this construction was a superfluous. The new 'instance ErrorMonad IOE' is defined to preserve the previous error handling behaviour, i.e. the function 'handle' only catches errors thrown with 'raise' (or 'fail') and not other errors in the IO monad.
2014-10-20	Remove some dead code	hallgren
	* The following modules are no longer used and have been removed completely: GF.Compile.Compute.ConcreteLazy GF.Compile.Compute.ConcreteStrict GF.Compile.Refresh * The STM monad has been commented out. It was only used in GF.Compile.SubExpOpt, where could be replaced with a plain State monad, since no error handling was needed. One of the functions was hardwired to the Err monad, but did in fact not use error handling, so it was turned into a pure function. * The function errVal has been renamed to fromErr (since it is analogous to fromMaybe). * Replaced 'fail' with 'raise' and 'return ()' with 'done' in a few places. * Some additional old code that was already commented out has been removed.
2014-10-20	get rid of gu/str.(c\|h)	kr.angelov

2014-10-19	(un)lexmixed: added the other math environments than $ used in latex	aarne

2014-10-17	ps -lines preserves line-by-line structure when preprocessing files for ↵	aarne
	parsing line by line
2014-10-17	one general case in dealing with backslash in latex lexing is enough	aarne

2014-10-17	the C runtime now supports reading and writing expressions with indexed meta ↵	kr.angelov
	variables. The type checker generates fresh indices
2014-10-17	unlexing latex code: no space between closing $ and punctuation	aarne

2014-10-17	lexer for latex code: don't separate backslash from the macro name that it marks	aarne

2014-10-16	Some work on the haddock documentation	hallgren

2014-10-16	Rename src/programs/gf.hs to gf-main.hs to avoid confusing GHC	hallgren
	It appears that GHC can't keep GF.hs and gf.hs apart on systems with case insensitive file names.
2014-10-16	Turn the GF compiler into a library. Main program is now in src/programs/gf.hs	hallgren
	The module src/compiler/GF.hs now serves as a prelimiary compiler API. It just exports a selection of functions and types from the compiler. Haddock documentation can be generated with cabal haddock --hyperlink-source Also bumbed the version number to 3.6.10.
2014-10-16	More haddock documentation improvements	hallgren

2014-10-16	bugfix in the parser for abstract expressions in the C runtime	kr.angelov

2014-10-16	finally proper stack unwind in the evaluator	kr.angelov

2014-10-15	Rename modules GFI, GFC & GFServer...	hallgren
	... to GF.Interactive, GF.Compiler & GF.Server, respectively.
2014-10-15	Fixes for the haddock documentation	hallgren

2014-10-14	the compiler now allows + to be used as a floating point addition in the ↵	kr.angelov
	abstract syntax
2014-10-14	yet another bugfix in the byte code	kr.angelov

2014-10-14	another bugfix in the byte code generation	kr.angelov

2014-10-14	bugfix in the bytecode generator	kr.angelov

2014-10-14	simplify jit_bare_ret	kr.angelov

2014-10-09	Prelude.CAPIT is now a built-in primitive. It still generates &\| in the ↵	kr.angelov
	Haskell runtime but will be intepreted in the C runtime
2014-10-09	throw away the long obsolete runtime type information in the C runtime	kr.angelov

2014-10-09	fix two warnings in mem.c	kr.angelov

2014-10-09	fix in gu_mmap_pool for Android	kr.angelov

2014-10-09	fix for lightning for ARM	kr.angelov

2014-10-09	remove the pgf-service util which is obsolete anyway	kr.angelov

2014-10-09	replace the hash maps in the abstract syntax with binary search tables	kr.angelov