Commit 946b0f45 authored by Edward Z. Yang's avatar Edward Z. Yang Committed by Edward Z. Yang
Browse files

TODO on ModuleProvides/ModuleRequires newtype.

Signed-off-by: default avatarEdward Z. Yang <>
parent 2ea28cab
......@@ -65,6 +65,8 @@ data ModuleScope = ModuleScope {
type ModuleProvides = Map ModuleName [ModuleSource]
-- | INVARIANT: entries for ModuleName m, have msrc_module is OpenModuleVar m
type ModuleRequires = Map ModuleName [ModuleSource]
-- TODO: consider newtping the two types above.
data ModuleSource =
ModuleSource {
-- We don't have line numbers, but if we did the
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment