TC: inline mock dynrefs

src/Pact/Repl/Lib.hs

@@ -321,12 +321,10 @@ setenv :: Setter' (EvalEnv LibState) a -> a -> Eval LibState ()
 setenv l v = setop $ UpdateEnv $ Endo (set l v)
 
 envDynRef :: RNativeFun LibState
-envDynRef i [TModRef iface _,TModRef impl _] =
-  lookupModule i (_modRefName impl) >>= \r -> case r of
-    Nothing -> evalError' i "Unable to resolve impl module"
-    Just md -> do
-      setLibState $ over rlsDynEnv $ M.insert (_modRefName iface) md
-      return $ tStr "Added dynamic ref to environment."
+envDynRef i [TModRef iface _,TModRef impl _] = do
+  md <- inlineModuleData <$> getModule i (_modRefName impl)
+  setLibState $ over rlsDynEnv $ M.insert (_modRefName iface) md
+  return $ tStr "Added dynamic ref to environment."
 envDynRef _i [] = do
   setLibState $ set rlsDynEnv def
   return $ tStr "Cleared dynamic ref environment."

tests/pact/tc.repl

@@ -16,6 +16,9 @@
   (implements tctest-iface)
 
   (defun tcmodref-spec:bool (s:string)
+    (impl-fun s))
+
+  (defun impl-fun:bool (s:string)
     true)
 )