4dfd27935d
fix come_from_V2 in DictionaryBul.gf
2014-11-06 13:20:01 +00:00
9e20c7b1a4
a number of dictionary entries in Bul that were missing in the development corpus
2014-11-06 12:26:33 +00:00
4f751105ab
fix in MorphoFunsBul.compoundN
2014-11-06 12:26:01 +00:00
bcd0a74216
remove another_A from the dictionaries
2014-11-06 11:22:21 +00:00
fa80d14de1
merge favor* with favour* in the dictionaries
2014-11-06 10:41:04 +00:00
72d3c7b376
adding catalan dictionary
2014-11-06 09:32:35 +00:00
43662653ad
brackets around or
2014-11-05 17:49:27 +00:00
ecfcc13169
fix some catalan morph
2014-11-05 17:41:53 +00:00
120597750b
gf.cabal: when compiling with ghc>=7.8 require cgi>=3001.2.2.0
2014-11-05 15:38:10 +00:00
1cfb975229
a skeletal module for higher-order pattern unification in the C runtime
2014-10-31 19:57:56 +00:00
03d6838030
forgotten changes in Predef.gf for making CAPIT a built-in operation
2014-10-31 14:28:52 +00:00
2bde418b15
now (+) in the abstract syntax works, i.e. it knows how to deal with partial sums
2014-10-31 14:16:11 +00:00
4db6e30b54
a more efficient tail call by using the new TUCK instruction
2014-10-30 13:09:50 +00:00
fd1c6a0a17
Use terminfo to highlight warnings and errors in blue and red
...
This replaces the hardwired ANSI escape codes that were accidentally included
in a previous patch.
This adds a dependency on terminfo, but this should be unproblematic, since
haskeline already depends on the same underlying C library.
The color highlighting is omitted on Windows.
2014-10-28 19:04:48 +00:00
14850cd7f4
Show paths relative to the current directory in progress reports
...
It is much nicer to see something like
- compiling FoodsSwe.gf... write file FoodsSwe.gfo
- compiling FoodsTha.gf... write file FoodsTha.gfo
- compiling FoodsTsn.gf... write file FoodsTsn.gfo
- compiling FoodsTur.gf... write file FoodsTur.gfo
- compiling FoodsUrd.gf... write file FoodsUrd.gfo
linking ... OK
Writing Foods.pgf...
instead of
- compiling /Users/hallgren/src/GF/gf/examples/foods/FoodsSwe.gf... write file /Users/hallgren/src/GF/gf/examples/foods/FoodsSwe.gfo
- compiling /Users/hallgren/src/GF/gf/examples/foods/FoodsTha.gf... write file /Users/hallgren/src/GF/gf/examples/foods/FoodsTha.gfo
- compiling /Users/hallgren/src/GF/gf/examples/foods/FoodsTsn.gf... write file /Users/hallgren/src/GF/gf/examples/foods/FoodsTsn.gfo
- compiling /Users/hallgren/src/GF/gf/examples/foods/FoodsTur.gf... write file /Users/hallgren/src/GF/gf/examples/foods/FoodsTur.gfo
- compiling /Users/hallgren/src/GF/gf/examples/foods/FoodsUrd.gf... write file /Users/hallgren/src/GF/gf/examples/foods/FoodsUrd.gfo
linking ... OK
Writing Foods.pgf...
2014-10-28 15:02:29 +00:00
5480c9b4dc
A couple of haddock documentation improvements
2014-10-28 14:58:43 +00:00
77d3775385
an explicit SAVE instruction
2014-10-26 11:40:12 +00:00
97db991979
comment out a few assertions in bits.h. this code is run too often to have explicit assertions
2014-10-24 11:15:40 +00:00
a56b4cae8c
make it possible to specify the initial size of a map in libgu
2014-10-24 09:17:22 +00:00
34867f4019
simplify gu/map
2014-10-24 08:56:39 +00:00
9276b7567d
fix memory leak in the pgf-parse tool
2014-10-24 08:42:32 +00:00
15744379a8
add extern declarations for all inline functions in seq.h. this ensures that everything works even when the compiler's optimizations are off
2014-10-24 08:26:58 +00:00
b4046e1797
a simple optimization in cmp_item_prob with great effect on the parser's speed
2014-10-23 21:22:22 +00:00
0c6ba90dd8
remove some deadcode in gu/seq.h
2014-10-23 21:21:21 +00:00
9314b5b392
inline a number of functions in gu/seq.c. this has a noticeable effect on the parser's speed
2014-10-23 21:19:29 +00:00
ef9f16b63a
Lang???.gf: exclude Documentation from present mode
...
The Documentation module is excluded from present mode in abstract/Lang.gf,
so it needs to be excluded in the corresponding concrete syntaxes too
to avoid problems.
2014-10-23 16:32:55 +00:00
e788398bf7
a cosmetic optimization in mem.c
2014-10-23 15:45:14 +00:00
de550565fc
add formalism_N and just_AdV to Spa
2014-10-23 09:14:08 +00:00
7b9622f7f8
a few more fixes in Bulgarian
2014-10-23 08:57:19 +00:00
fa2c7b4f20
merge separationism_N and separatism_N in the dictionaries
2014-10-23 08:53:30 +00:00
6cde6d0ca9
a couple of words marked as checked in Bulgarian
2014-10-23 08:47:17 +00:00
e9e71dd321
fixes in DictionaryBul.gf
2014-10-23 08:45:37 +00:00
f421dd4c68
fix the debug mode in the reasoner
2014-10-23 08:15:12 +00:00
075d45dc19
fix warning in ucs.c
2014-10-23 07:44:41 +00:00
35ffbab2ce
fix spain_PN from "la Madre Padria" to "España"
2014-10-23 06:59:28 +00:00
4a10557b4e
DictionaryChi completed with 10k lemmas from wordnet by Prasanth
2014-10-22 16:12:42 +00:00
11ec4bc655
Various small changes for improved documentation
2014-10-22 15:45:52 +00:00
3a95d733dd
CAPIT is now naturally supported in the C runtime
2014-10-22 15:05:55 +00:00
6814f33381
updated RGL synopsis
2014-10-22 14:37:55 +00:00
9562a88b28
add Unicode classification routines to libgu. ported from the base package in Haskell.
2014-10-22 14:36:58 +00:00
3431b83670
a few fixes in French and Romance to help with homotopy type theory
2014-10-22 14:13:41 +00:00
0da379f97b
an explicit PUSH_FRAME instruction
2014-10-22 14:11:41 +00:00
54b9b89921
make the fields of BracketedString in the Python binding read/write
2014-10-22 12:18:07 +00:00
1048a89ca7
ModuleName and Ident are now distinct types
...
This makes the documentation clearer, and can potentially catch more
programming mistakes.
2014-10-21 19:20:31 +00:00
491e8b2bb8
Renaming SourceGrammar to Grammar and similarly for some related types
...
Included renamings:
SourceGrammar -> Grammar
SourceModule -> Module
SourceModInfo -> ModuleInfo
emptySourceGrammar -> emptyGrammar
Also introduces a type synonym (which might be good to turn into a newtype):
type ModuleName = Ident
The reason is to make types like the following more self documenting:
type Module = (ModuleName,ModuleInfo)
type QIdent = (ModuleName,Ident)
2014-10-21 14:42:31 +00:00
2ae43ed0eb
variants for language and wife in Chi dictionary
2014-10-20 22:24:22 +00:00
2bd37da274
some adjustments for 0,1,2's in NumeralChi. Remaining problem: 225,250 gets "liang" as a variant for its second digit, should be only "er".
2014-10-20 22:07:32 +00:00
fe6d2738a0
use of 'head' in TypeCheck/RConcrete created an uncomprehensible error message. Now checking for the emptiness of the list concerned, so that the error can be found.
2014-10-20 20:06:46 +00:00
1e0d078ae2
Some small documentation improvements
2014-10-20 19:45:43 +00:00
add8f9285b
type IOE a = IO a
...
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 19:32:46 +00:00
kr.angelov