fix definition provider

2025-04-05 10:12:48 -07:00
parent 0477ee397f
commit 8c983dd571
2 changed files with 8 additions and 2 deletions
--- a/src/Main.newt
+++ b/src/Main.newt
@@ -27,7 +27,8 @@ primNS = ("Prim" :: Nil)
 jsonTopContext : M Json
 jsonTopContext = do
  top <- getTop
-  pure $ JsonObj (("context", JsonArray (map jsonDef $ listValues top.defs)) :: Nil)
+  let defs = join $ map (\mod => listValues mod.modDefs) $ listValues top.modules
+  pure $ JsonObj (("context", JsonArray (map jsonDef $ defs)) :: Nil)
  where
    jsonDef : TopEntry -> Json
    -- There is no FC here...