blob: f612b92b6754cd16aad70e9cdd803b332c0870c6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
module MkUnion (makeUnion) where
import Grammar
import Ident
import Modules
import Macros
import PrGrammar
import Operations
import Monad
-- building union of modules
-- AR 21/8/2002 -- 22/6/2003 for GF with modules
makeUnion :: SourceGrammar -> Ident -> ModuleType Ident -> [(Ident,[Ident])] ->
Err SourceModule
makeUnion gr m ty imps = do
Bad "Sorry: unions not yet implemented"
|
