gf-core.git/src/compiler/GF/Compile/CheckGrammar.hs, branch optimize

Replace tabs for whitespace in source code

2021-07-07T07:40:41+00:00

Make imports in CheckGrammar a little more explicit

2021-07-01T12:32:39+00:00

Rename GF.Compile.TypeCheck.RConcrete to GF.Compile.TypeCheck.Concrete

2021-07-01T12:27:11+00:00

Rename GF.Compile.Compute.ConcreteNew to GF.Compile.Compute.Concrete

2021-07-01T12:21:29+00:00

more dead code

2019-09-20T14:15:28+00:00

remove obsolete code

2019-09-20T08:37:50+00:00

GF.Compile.CheckGrammar: discard bad 'lincat C = …' with a warning

2019-04-25T15:02:42+00:00

e.g. if C is a fun and not a cat in the abstract syntax. Discarding bad lincats prevents GF from generating malformed PGFs that are rejected by the C run-time system. I also added code to reject bad lincats with an error, but I left it commented out since it seems a bit pedantic compared to GF's otherwise rather sloppy grammar checking.

Fixes for GHC 8.4.1 compatibility

2018-04-18T17:18:10+00:00

* 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)

the experimental type checker in GF.Compile.TypeCheck.ConcreteNew is now rewriten to use the complete evaluator in GF.Compile.Compute.ConcreteNew. The old sketchy implementation in GF.Compile.Compute.ConcreteNew1 is now removed.

2016-03-02T13:38:02+00:00

added option -plus-as-bind which treats (+) as a bind when used with runtime variables

2015-02-20T13:26:12+00:00