mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-11-04 11:15:27 -07:00
Merge branch 'master' of https://github.com/GrammaticalFramework/GF
This commit is contained in:
commit
ef071d9157
1 file changed
+1
-1
@@ -56,7 +56,7 @@ haskPreamble gadt name =
|
||||
"import Data.Monoid"
|
||||
] else []) ++
|
||||
[
|
||||
"import PGF",
|
||||
"import PGF hiding (Tree)",
|
||||
"----------------------------------------------------",
|
||||
"-- automatic translation from GF to Haskell",
|
||||
"----------------------------------------------------",
|
||||
|
||||
Reference in new issue
Block a user