diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2021-07-06 14:05:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-06 14:05:00 +0200 |
| commit | 5e052ff4997a407f6e97fd7ce97aa3911cd78157 (patch) | |
| tree | 106d4ff2a5b4548f3bea6a83ffcc9b8664b2f179 /gf.cabal | |
| parent | 1b66bf2773b0feda528d3b22fbaf06227a51b864 (diff) | |
| parent | d2fb755fab8b9ba2dcde20d2854b1f90fb8c2f76 (diff) | |
Merge pull request #119 from GrammaticalFramework/concrete-new
Clean up Compute.ConcreteNew and TypeCheck.RConcrete
Diffstat (limited to 'gf.cabal')
| -rw-r--r-- | gf.cabal | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -178,7 +178,7 @@ library GF.Command.TreeOperations GF.Compile.CFGtoPGF GF.Compile.CheckGrammar - GF.Compile.Compute.ConcreteNew + GF.Compile.Compute.Concrete GF.Compile.Compute.Predef GF.Compile.Compute.Value GF.Compile.ExampleBased @@ -207,7 +207,6 @@ library GF.Compile.TypeCheck.Concrete GF.Compile.TypeCheck.ConcreteNew GF.Compile.TypeCheck.Primitives - GF.Compile.TypeCheck.RConcrete GF.Compile.TypeCheck.TC GF.Compile.Update GF.Data.BacktrackM |