From e620ffbd9432fc9ab4f3174ecf9c117db27af772 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 23 Oct 2003 15:09:07 +0000 Subject: Working with interfaces and incomplete modules. --- src/GF/Compile/Extend.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/GF/Compile/Extend.hs') 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 -- cgit v1.2.3