diff options
| author | aarne <unknown> | 2003-10-23 15:09:07 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-10-23 15:09:07 +0000 |
| commit | e620ffbd9432fc9ab4f3174ecf9c117db27af772 (patch) | |
| tree | 34841dcb47554d6d7a3463d23db1ee92d6f098c8 /src/GF/Compile/Extend.hs | |
| parent | 31e0deb017a938bc91f49d8505104d97bc8af14f (diff) | |
Working with interfaces and incomplete modules.
Diffstat (limited to 'src/GF/Compile/Extend.hs')
| -rw-r--r-- | src/GF/Compile/Extend.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Compile/Extend.hs b/src/GF/Compile/Extend.hs index 348cdf71d..5bb38a891 100644 --- a/src/GF/Compile/Extend.hs +++ b/src/GF/Compile/Extend.hs @@ -17,10 +17,10 @@ import Monad extendModInfo :: Ident -> SourceModInfo -> SourceModInfo -> Err SourceModInfo extendModInfo name old new = case (old,new) of - (ModMod m0, ModMod (Module mt fs _ ops js)) -> do + (ModMod m0, ModMod (Module mt st fs _ ops js)) -> do testErr (mtype m0 == mt) ("illegal extension type at module" +++ show name) js' <- extendMod name (jments m0) js - return $ ModMod (Module mt fs Nothing ops js) + return $ ModMod (Module mt st fs Nothing ops js) -- this is what happens when extending a module: new information is inserted, -- and the process is interrupted if unification fails |
