| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2025-02-18 | Bug fix for gf-shell command 'pt -compute' in Expr.hs by | Hans Leiss | |
| tryMatch p (VConst _ _) env = match sig f eqs as0 | |||
| 2024-03-01 | showExpr and linearize now refresh the printed variables if needed | aarneranta | |
| 2017-09-05 | GF.Command.TreeOperations is now independent from the runtime's internals | Krasimir Angelov | |
| 2017-08-29 | the embedded grammars now work with both the pure Haskell and the Haskell ↵ | Krasimir Angelov | |
| binding API | |||
| 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 | full support for recursive def rules in the C runtime | 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. | |||
| 2013-11-05 | linearization by chunks in the GF shell: a new command 'lc' needed because ↵ | aarne | |
| 'l' requires type checking and trees with metavariable function heads don't type check. This will hopefully be a temporary command. | |||
| 2013-11-05 | Eliminate mutual dependencies between the GF compiler and the PGF library | hallgren | |
| + References to modules under src/compiler have been eliminated from the PGF library (under src/runtime/haskell). Only two functions had to be moved (from GF.Data.Utilities to PGF.Utilities) to make this possible, other apparent dependencies turned out to be vacuous. + In gf.cabal, the GF executable no longer directly depends on the PGF library source directory, but only on the exposed library modules. This means that there is less duplication in gf.cabal and that the 30 modules in the PGF library will no longer be compiled twice while building GF. To make this possible, additional PGF library modules have been exposed, even though they should probably be considered for internal use only. They could be collected in a PGF.Internal module, or marked as "unstable", to make this explicit. + Also, by using the -fwarn-unused-imports flag, ~220 redundant imports were found and removed, reducing the total number of imports by ~15%. | |||
| 2012-08-29 | A basic infrastructure for generating Teyjus bytecode from the GF abstract ↵ | kr.angelov | |
| syntax | |||
| 2012-03-26 | Fix List.foldl / Map.foldl ambiguosity | Sergei Trofimovich | |
| Fixes the following error: src/runtime/haskell/PGF/Expr.hs:111:14: Ambiguous occurrence `foldl' It could refer to either `List.foldl', imported from `Data.List' at src/runtime/haskell/PGF/Expr.hs:27:1-24 (and originally defined in `GHC.List') or `Map.foldl', imported from `Data.Map' at src/runtime/haskell/PGF/Expr.hs:28:1-40 | |||
| 2011-08-30 | bugfixes in the typechecker and the tree generator | kr.angelov | |
| 2011-08-29 | skip spaces before closing parenthesis in PGF.Expr.pFactor | aarne | |
| 2011-01-08 | fix the computation of abstract expressions in the presence of implicit ↵ | krasimir | |
| arguments | |||
| 2010-10-02 | refactor the API for random generation again. Now PGF contains probabilities ↵ | krasimir | |
| in the abstract syntax | |||
| 2010-08-30 | PGF.Expr.normalForm does variable renaming | krasimir | |
| 2010-07-31 | two new functions in the PGF API: mkAbs, unAbs | krasimir | |
| 2010-07-31 | now the meta id of the meta variables is accessible via the PGF API | krasimir | |
| 2010-05-01 | fixes in unStr,unInt,unDouble,isMeta | krasimir | |
| 2010-03-18 | pattern @ should be propagated to PGF | krasimir | |
| 2010-03-18 | syntax for inaccessible patterns in GF | krasimir | |
| 2010-02-22 | refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access ↵ | krasimir | |
| to the meta store | |||
| 2010-01-31 | add Show instance and remove the Eq and Ord instances for PGF.Expr.Equation ↵ | krasimir | |
| and PGF.Expr.Patt | |||
| 2010-01-29 | bugfix in the PGF typechecker and more test cases | krasimir | |
| 2010-01-27 | cleanup the code of the PGF interpreter and polish the binary serialization ↵ | krasimir | |
| to match the preliminary specification | |||
| 2010-01-15 | allow metavariables with indices i.e. ?0, ?1, etc in the abstract syntax ↵ | krasimir | |
| parser in PGF | |||
| 2010-01-15 | now the abstract syntax in PGF allows the same syntax for integers, floats ↵ | krasimir | |
| and strings as in Haskell. This includes negative integers and exponents in the floats | |||
| 2009-12-13 | reorganize the directories under src, and rescue the JavaScript interpreter ↵ | krasimir | |
| from deprecated | |||
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |