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

Age	Commit message (Collapse)	Author
2018-04-18	Fixes for GHC 8.4.1 compatibility	Thomas Hallgren
	* In GHC 8.4.1, the operator <> has become a method of the Semigroup class and is exported from the Prelude. This is unfortunate, since <> is also exported from the standard library module Text.PrettyPrint, so in any module that defines a pretty printer, there is likely to be an ambiguity. This affects ~18 modules in GF. Solution: import Prelude hiding (<>) This works also in older versions of GHC, since GHC does't complain if you hide something that doesn't exists. * In GHC 8.4.1, Semigroup has become a superclass of Monoid. This means that anywhere you define an instance of the Monoid class you also have to define an instance in the Semigroup class. This affects Data.Binary.Builder in GF. Solution: conditionally define a Semigroup instance if compiling with base>=4.11 (ghc>=8.4.1)
2014-10-31	now (+) in the abstract syntax works, i.e. it knows how to deal with partial ↵	kr.angelov
	sums
2014-10-30	a more efficient tail call by using the new TUCK instruction	kr.angelov

2014-10-26	an explicit SAVE instruction	kr.angelov

2014-10-22	an explicit PUSH_FRAME instruction	kr.angelov

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

2014-10-14	the compiler now allows + to be used as a floating point addition in the ↵	kr.angelov
	abstract syntax
2014-10-06	using instruction RET was wrong; now use EVAL	kr.angelov

2014-09-29	bugfix in the pattern matching compiler and a number of other fixes that I ↵	kr.angelov
	somehow did not push before
2014-09-11	a major revision of the bytecode generator and JIT compiler. the effect is ↵	kr.angelov
	that now we can compute with lambda functions and with true tail recursion
2014-09-05	the code for def rules now uses proper graph update to preserve lazyness	kr.angelov

2014-09-05	full support for recursive def rules in the C runtime	kr.angelov

2014-09-01	partial implementation for recursive def rules	kr.angelov

2014-08-11	a partial support for def rules in the C runtime	kr.angelov
	The def rules are now compiled to byte code by the compiler and then to native code by the JIT compiler in the runtime. Not all constructions are implemented yet. The partial implementation is now in the repository but it is not activated by default since this requires changes in the PGF format. I will enable it only after it is complete.