1
0
forked from GitHub/gf-core

concrete revisions not longer take space in the revision registry

This commit is contained in:
Krasimir Angelov
2024-09-21 11:56:19 +02:00
parent 8878eddb7d
commit 43671f3679
7 changed files with 118 additions and 57 deletions

View File

@@ -33,7 +33,7 @@ convertFile conf src file = do
(ex, end) = break (=='"') (tail exend)
in ((unwords (words cat),ex), tail end) -- quotes ignored
pgf = resource_pgf conf
lang = language conf
lang = concrete conf
convEx (cat,ex) = do
appn "("
let typ = maybe (error "no valid cat") id $ readType cat
@@ -61,7 +61,7 @@ convertFile conf src file = do
data ExConfiguration = ExConf {
resource_pgf :: PGF,
verbose :: Bool,
language :: Concr,
concrete :: Concr,
printExp :: Expr -> String
}