Thomas Hallgren
820d2d503f
Fixes for GHC 8.4.1 compatibility
...
* In GHC 8.4.1, the operator <> has become a method of the Semigroup class
and is exported from the Prelude. This is unfortunate, since <> is also
exported from the standard library module Text.PrettyPrint, so in any
module that defines a pretty printer, there is likely to be an ambiguity.
This affects ~18 modules in GF. Solution:
import Prelude hiding (<>)
This works also in older versions of GHC, since GHC does't complain if
you hide something that doesn't exists.
* In GHC 8.4.1, Semigroup has become a superclass of Monoid. This means
that anywhere you define an instance of the Monoid class you also have to
define an instance in the Semigroup class.
This affects Data.Binary.Builder in GF. Solution: conditionally define
a Semigroup instance if compiling with base>=4.11 (ghc>=8.4.1)
2018-04-18 19:18:10 +02:00
Thomas Hallgren
3d6a5e8864
gfse: show grammar comments in the list of public grammars
...
gf -server now includes the comment field from the grammar in the
response to /cloud requests with command=ls-t and ext=.json
2018-03-29 18:23:32 +02:00
Thomas Hallgren
5164951e23
Remove "Warning: default encoding has changed from Latin-1 to UTF-8"
...
The warning is about a change that was made in GF 3.6 (June 2014) and has
probably outlived its purpose by now.
2018-01-23 14:55:33 +01:00
Aarne Ranta
79feeaf5b8
new option linerize -tabtreebank for tab-separated treebank generation
2017-12-06 17:37:12 +01:00
Krasimir Angelov
0bb6b5968e
temporaryly fix GF.Command.Commands2
2017-10-05 21:09:38 +02:00
Krasimir Angelov
8eef0b5376
GF.Compile.Instructions is obsolete and now removed
2017-09-29 16:52:56 +02:00
Krasimir Angelov
60bd12a952
the experimental export to Lambda Prolog is now obsolete and is removed
2017-09-07 14:01:46 +02:00
Krasimir Angelov
ef071d9157
Merge branch 'master' of https://github.com/GrammaticalFramework/GF
2017-09-06 12:40:22 +02:00
Krasimir Angelov
15d014abb8
the parser in the C runtime can now detect incomplete sentences just like the parser in the Haskell runtime. This is also reflected in all bindings.
2017-09-06 12:38:42 +02:00
Aarne Ranta
8005aee378
in Haskell GADT generation, hide Tree in the import of PGF
2017-09-06 10:51:43 +02:00
Krasimir Angelov
c3297dd2e9
update documentation for command pt
2017-09-05 10:33:53 +02:00
Krasimir Angelov
01a8e1b88f
GF.Command.TreeOperations is now independent from the runtime's internals
2017-09-05 10:29:02 +02:00
Krasimir Angelov
13d8045814
added exprSize and exprFunctions in the Haskell runtime too and use them in TreeOperations
2017-09-05 10:16:48 +02:00
Krasimir Angelov
da091824a3
pt -paraphrase was never properly implemented and is now removed
2017-09-04 13:11:17 +02:00
Krasimir Angelov
1f908fa7bf
eliminate modules PGF.Lexing, PGF.LexingAGreek. Make PGF.Utilities an internal module in the runtime. These are not really part of the core runtime.
2017-09-04 11:43:37 +02:00
Krasimir Angelov
e214a00ed3
added command "rt" in the C shell
2017-09-01 10:40:12 +02:00
Krasimir Angelov
5c38482e56
the C shell now type checks expressions before they are used
2017-09-01 10:19:36 +02:00
Krasimir Angelov
d5a7945ba0
complete details for the "ai" command in the C shell
2017-09-01 09:57:00 +02:00
Krasimir Angelov
5a37660811
added function treeProbability in the Haskell binding
2017-09-01 08:46:52 +02:00
Krasimir Angelov
1182a9b63d
giza alignment in the C shell
2017-09-01 08:23:12 +02:00
Krasimir Angelov
b9c04fd612
graphvizWordAlignment in the C runtime
2017-08-31 13:03:11 +02:00
Krasimir Angelov
eaf9f0c3ac
the C runtime now supports the same customizations for GraphViz as the Haskell runtime
2017-08-31 10:58:49 +02:00
Krasimir Angelov
675ef4573c
remove move dead code in the C shell
2017-08-31 08:12:18 +02:00
Krasimir Angelov
16828fb91e
some dead code elimination
2017-08-30 20:42:04 +02:00
Krasimir Angelov
070d00a20c
an almost complete ai command in the C shell
2017-08-30 19:44:10 +02:00
Krasimir Angelov
13a854d349
implement rf in the C shell
2017-08-30 19:19:10 +02:00
Krasimir Angelov
34294bf36e
pg in the C shell now supports most output formats
2017-08-30 19:04:29 +02:00
Krasimir Angelov
fd56b4b5f3
remove some dead code in the C shell
2017-08-30 16:56:00 +02:00
Krasimir Angelov
ccf9227c05
in the C shell rename the ga command to gt to be consistent with the standard shell
2017-08-30 16:40:25 +02:00
Krasimir Angelov
137a06586a
"lc" was a temporary hack and is now removed from the C shell
2017-08-30 16:36:57 +02:00
Krasimir Angelov
7db9f51d78
"ma" command in the C shell
2017-08-30 16:35:57 +02:00
Krasimir Angelov
4a24bc98f2
the l command in the C shell now supports the same options as in the normal shell
2017-08-30 16:18:26 +02:00
Krasimir Angelov
1e4ab95e41
added option -output-format=java for producing code for embedded grammars in Java
2017-08-29 20:53:47 +02:00
Krasimir Angelov
b7b7a7c91c
the embedded grammars now work with both the pure Haskell and the Haskell binding API
2017-08-29 18:44:50 +02:00
Thomas Hallgren
0a0eaa01bc
Bump version requirements to base>=4.6, Cabal>=1.20
...
Cabal>=1.20 allows control over parallelism when compiling grammars from
Setup.hs and WebSetup.hs.
base>=4.6 allows conditional compilation with CPP to be eliminated from
a few modules.
base-4.6 corresponds to GHC 7.6.3, which is what you get in
Debian 8 (aka jessie, aka oldstable) from 2015.
2017-08-18 11:55:44 +02:00
Thomas Hallgren
8484dabd5b
Disable detailed version info from darcs
...
TODO: get version info from git instead.
2017-08-11 15:33:21 +02:00
aarne
d51cbb0f1a
added Arabic question mark to arabic and persian transliterations, as well as the zero-width non-joiner U+200C to persian"
2017-06-14 12:32:17 +00:00
aarne
ee2f3d085e
vd command now reads local concrete configurations to deal with syncat words; TODO: dissolve clustered multiwords bound with +
2017-04-06 11:55:21 +00:00
aarne
1e33235144
fixed a bug in Eq instance generation for GADT and lexical categories
2017-03-22 22:25:21 +00:00
krasimir
f1240ef489
a better error message
2017-03-07 23:17:24 +00:00
krasimir
7361d22059
GF.Compile.Compute.ConcreteNew now handles Predef.Float
2017-03-07 19:50:43 +00:00
krasimir
2e5499ba97
bugfix in record subtyping checking
2017-03-07 17:53:56 +00:00
krasimir
5ec43f2f75
GF.Grammar.Printer now has a Terse mode which prints record types with lock fields with their corresponding abstract categories
2017-03-07 08:24:00 +00:00
krasimir
5a61ab5fcc
fix for EPatt
2017-03-06 17:15:46 +00:00
krasimir
6c5cfa7750
type checking EPatt
2017-03-06 16:24:58 +00:00
krasimir
a0d6a4f9a4
GF.Compile.Compute.ConcreteNew now can handle EPattType
2017-03-06 15:44:25 +00:00
krasimir
fe4f38f6ee
some missing patterns
2017-03-06 14:44:03 +00:00
krasimir
ad2a18592b
added overload resolution in the experimental type checker
2017-03-06 14:09:16 +00:00
krasimir
2c1c2da89f
some progress on the experimental type checker for the concrete syntax
2017-03-03 16:37:22 +00:00
aarne
34627e7427
corrected fg generation for lexical categories, to avoid a type error in generated code
2017-02-24 20:50:36 +00:00