hallgren
b76d1ecdcd
Add file name to error message when reading a bad .gfo file (in some cases)
...
This turns error messages like
gf: too few bytes. Failed reading at byte position 1
gf: /some/path/somefile.gfo: too few bytes. Failed reading at byte position 1
but a better fix would be to ignore bad .gfo files and compile from source.
The problem is the way this decision is made in
GF.Compile.ReadFiles.selectFormat...
2012-06-15 10:15:16 +00:00
aarne
191ecc71b8
command option ma -known to drop unknown words
2012-06-10 10:43:57 +00:00
hallgren
13cda24924
More detailed version info in the startup message
...
The Setup.hs script now queries darcs to create more detailed version info
to include in the startup message.
Note thought that with distributed version control systems like darcs,
the only way to uniquely identify a version is by the set of patches included.
Since the patches are not totally ordered, just looking at the last patch is
not enough.
For official releases, we tag the current set of patches so we can refer to
it by name (e.g. RELEASE-3.3.3).
2012-05-30 15:45:45 +00:00
aarne
a2bae03824
missing case in partial evaluation of + fixed
2012-05-15 11:48:30 +00:00
hallgren
841e54e3dc
alex 3 incompatibility workaround
...
As a temporary workaround, alex is no longer invoked automatically when
building with cabal. Developers who want to modify the lexer need to run
alex on Lexer.x manually and record the modified Lexer.hs.
src/compiler/GF/Grammar/lexer/Lexer.x -- hidden from cabal
src/compiler/GF/Grammar/Lexer.hs -- update it manually
2012-05-04 12:39:07 +00:00
hallgren
47c116b5a6
Workaround for bug in ghc-7.2.2
...
An apparent bug in ghc-7.2.2 causes the type Value to be exported from PGF.Data.
Workaround: restrict the imports from PGF.Data in GF.Command.Abstract and
GF.Compile.GeneratePMCFG to avoid the clash with locally defined type Value.
(ghc-7.0.4 and ghc-7.4.1 appear to be free from this bug.)
2012-03-26 23:56:56 +00:00
Sergei Trofimovich
c015ac77bd
compiler/GF/Text/Coding.hs: fix build failure against ghc-7.2
2012-03-26 20:48:57 +00:00
aarne
69f84defb0
bug fix in AppPredefined: don't compare values that contain variables. this should be checked even more generally.
2012-02-28 15:13:32 +00:00
kr.angelov
eb4bfb008e
buf fix in the compiler for HOAS
2012-02-28 08:10:47 +00:00
aarne
aa7668ef75
the Predef function eqVal to compare equality of parameter values
2012-02-24 10:00:27 +00:00
virk.shafqat
4ba9944663
hindi-resource-grammar
2012-02-23 13:36:50 +00:00
hallgren
9ebc423004
gfse: experimental support for editing concrete syntax in text mode
2012-02-22 16:30:42 +00:00
virk.shafqat
5403e31264
sindhipatch
2012-02-21 09:02:42 +00:00
hallgren
94685d184d
GF.Inra.UseIO: add instance Functor IOE, add method fail to instance Monad IOE
2012-02-20 17:26:49 +00:00
aarne
85d777e068
sorted the list of funs and cats in GrammatToPGF to get the predef categories in proper place and get gr, ai, gt work properly
2012-01-14 17:06:54 +00:00
hallgren
15678a0fce
gf -server[=port]
...
You can now specify which port the HTTP server should run on in server mode.
The default is 41296.
2011-12-14 15:28:27 +00:00
kr.angelov
c52f05ed46
The typechecker is still unfinished but at least it can typecheck the English resource grammar
2011-12-02 12:33:26 +00:00
kr.angelov
e6135d963e
missing cases in GF.Grammar.Binary
2011-12-02 09:58:18 +00:00
kr.angelov
b859edee38
Hopefully complete Value type and a little bit more on computations.
2011-11-30 20:56:31 +00:00
kr.angelov
7863b21c1a
more stuff in the new type checker
2011-11-30 14:55:52 +00:00
kr.angelov
f9af731c9c
fix the compilation after the patch for the new type checker
2011-11-29 18:45:51 +00:00
kr.angelov
fffc5f2507
Sketch of the new type checker for the concrete syntax. Enabled only with -new-comp
2011-11-29 12:12:51 +00:00
kr.angelov
c05be64838
now if some module is compiled with -no-pmcfg then the PMCFG code is generated at the end during the linking phase. Now the default compilation of the libraries with cabal is with -no-pmcfg.
2011-11-24 14:23:04 +00:00
kr.angelov
26d61354dd
make addSequencesB(V) strict. Otherwise we get stack overflow when compiling LangFre
2011-11-22 20:31:58 +00:00
kr.angelov
3d973adb33
rebuildModule should do location globalization too
2011-11-17 22:11:56 +00:00
kr.angelov
4f95b5656b
bugfix in the overload resolution. It was accidentally introduced as part of the per module PMCFG generation
2011-11-17 21:36:45 +00:00
kr.angelov
04fdb41927
fix in the versioning of the .gfo files
2011-11-15 19:46:02 +00:00
kr.angelov
a2626e24dd
now we store version number in every .gfo file. If the file is compiled with different compiler then we simply recompile it.
2011-11-15 19:12:22 +00:00
kr.angelov
8a10aa5cf9
now the pretty printer in GF has a new mode called Internal. This is the most detailed mode and it can print even things that are not in the GF syntax. For example PMCFG snippets and indirections.
2011-11-15 15:55:45 +00:00
kr.angelov
59e098a440
Now the errors messages from GF.Compile.Update also follow the new format
2011-11-15 15:33:52 +00:00
kr.angelov
b1a82e8e8a
the indirections in the .gf-tags files now point directly to the origin of the corresponding indentifiers
2011-11-15 14:30:31 +00:00
kr.angelov
61c16f2eb2
more structured format for errors and warnings from the compiler
2011-11-15 13:33:44 +00:00
kr.angelov
8a7aa15c57
bugfix in the new PGF generation
2011-11-14 16:27:59 +00:00
kr.angelov
43fc9f462a
remove the -output-file option
2011-11-14 16:10:13 +00:00
kr.angelov
7be8566f35
the new design for -tags
2011-11-14 16:08:56 +00:00
kr.angelov
416d231c5e
Now PMCFG is compiled per module and at the end we only link it. The new compilation schema is few times faster.
2011-11-10 14:09:41 +00:00
kr.angelov
b25ec6ae89
remove few obsolete options from GF.Infra.Options
2011-11-10 09:02:46 +00:00
kr.angelov
734c66710e
merge GF.Infra.Modules and GF.Grammar.Grammar. This is a preparation for the separate PGF building
2011-11-02 13:57:11 +00:00
kr.angelov
5fe49ed9f7
Now the compiler maintains more precise information for the source locations of the different definitions. There is a --tags option which generates a list of all identifiers with their source locations.
2011-11-02 11:44:59 +00:00
hallgren
f8665c7213
Remove configuration flag cclazy
2011-11-01 13:45:12 +00:00
Nick Frolov
5b7736e860
Fixed a typo in the shell online help
2011-11-01 11:22:13 +00:00
hallgren
c4ee13abac
Recording an alternative version of look in Compute/ConcreteLazy.hs
...
Commented out, causes problems in the greek example.
2011-10-25 18:50:07 +00:00
aarne
5fd8299805
qualification with real module name accepted, as in GF refman
2011-10-25 14:03:27 +00:00
aarne
7372da3d7f
use associativity to force more precompilation of pre expressions
2011-10-24 12:52:20 +00:00
hallgren
ed451653bd
Introduce an explicit error value in the Term type
...
This makes it easier to treat run-time errors (e.g. caused by calls to
Predef.error) in a way that is more typical for a lazy functional language.
2011-10-20 14:36:30 +00:00
hallgren
e5accc0d8d
Some experiments with PSeq (left commented out)
2011-10-20 14:25:31 +00:00
hallgren
ef4fac9d82
Compute/ConcreteLazy.hs: no need to reverse when looking up labels in records
2011-10-20 14:19:33 +00:00
hallgren
d8d60adb15
AppPredefined.hs: more readable notation for the types of primitives
2011-10-20 14:17:37 +00:00
aarne
a83b6bea62
don't count app nodes in term size
2011-09-26 13:56:39 +00:00
aarne
0c2f20d04d
structured examples in help into pairs (command,explanation)
2011-09-25 08:42:27 +00:00
