| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | Use http instead of https in the links to the build job in jenkins | hallgren | |
| The ci.zjyto.net web site uses an SSL certificate that is not recognized by mainstream browsers (e.g. Firefox, Safari and the Android web browser). | |||
| 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 | Change the path to the build job in jenkins | gregoire.detrez | |
| 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-15 | Make `cabal sdist` fail with an informative error message` | gregoire.detrez | |
| 2014-10-15 | Add a make target to create the source distribution | gregoire.detrez | |
| `make sdist` will create a `dist/gf-<version>.tar.gz package with the source files (using the `darcs dist` command). | |||
| 2014-10-14 | Setup.hs: comment out sDistHook, which seems to be broken but is not used | 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-10 | a refactoring in the Susanne converter which for some reason was not pushed ↵ | kr.angelov | |
| before | |||
| 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 | |
| 2014-10-09 | add the const modifier to the key in the two procedures for binary search in ↵ | kr.angelov | |
| libgu | |||
| 2014-10-08 | use MAP_FIXED in gu_mmap_pool | kr.angelov | |
| 2014-10-08 | an experimental memory mapped pool. still not in use | kr.angelov | |
| 2014-10-08 | GF.Infra.Options: change from String to Int in the type of optJobs | hallgren | |
| 2014-10-08 | now we statically allocate closures for all top-level functions and all ↵ | kr.angelov | |
| nullary constructors. closures are dynamically allocated only for CAFs. this reduces memory use and time to allocate dynamic closures | |||
| 2014-10-07 | a missing case in instruction SET | kr.angelov | |
| 2014-10-07 | bugfix in the byte code compiler | kr.angelov | |
| 2014-10-07 | added a missing case for PUSH instruction with a global closure | kr.angelov | |
| 2014-10-07 | the indirection should be done in the evaluate_expr_thunk gate instead of in ↵ | kr.angelov | |
| the pgf_evaluate_expr_thunk function. this ensures lazyness | |||
| 2014-10-06 | using instruction RET was wrong; now use EVAL | kr.angelov | |
| 2014-10-06 | fix the order in which arguments are stored in the mk_const gate | kr.angelov | |
| 2014-10-06 | push a stack frame around recursive calls to guarantee that a nested call to ↵ | kr.angelov | |
| a failing function will not crash | |||
| 2014-10-06 | partial implementation for the FAIL instruction | kr.angelov | |
| 2014-09-30 | bugfix in pgf_evaluate_expr_thunk | kr.angelov | |
