| Age | Commit message (Collapse) | Author |
|
Most of the broken link were due to the move from www.cs.chalmers.se was to
www.cse.chalmers.se in 2010.
|
|
|
|
must start the refinement from the expression that the typecheker generated
|
|
|
|
|
|
|
|
|
|
Also adding editing modes for Gedit and Geany contributed by John J. Camilleri.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
writing
|
|
|
|
|
|
characters are returned as themselves and not as question marks
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
First, plain text version generated with 'help -full' in the shell.
Introduction taken from the GF book.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
even though this file is automatically generated from gf-reference.t2t.
|
|
|
|
|
|
|
|
This reverts the previous change. Not preprocessing opers turns out to make a
difference in what needs to be mentioned in restricted inheritance/imports.
|
|
|
|
|
|
version number to 3.2.9
|
|
|
|
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.)
|
|
|
|
Shell welcome message
|
|
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.
|