Population still yealds violations

AmpersandTarski · Jun 4, 2024 · 87e93de · 87e93de
1 parent 5afbdd8
commit 87e93de
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/AmpersandData/FormalAmpersand/Documentation.adl b/AmpersandData/FormalAmpersand/Documentation.adl
@@ -8,6 +8,7 @@ PATTERN Documentation
     CONCEPT Meaning ""
     -- CLASSIFY Meaning ISA Markup See issue https://github.com/AmpersandTarski/Ampersand/issues/1484
     -- CLASSIFY Markup ISA Meaning
+    RELATION markup[Meaning*Markup][UNI,TOT]
     CONCEPT MarkupText ""
     CONCEPT Markup ""
 

diff --git a/src/Ampersand/FSpec/Transformers.hs b/src/Ampersand/FSpec/Transformers.hs
@@ -499,14 +499,13 @@ transformersFormalAmpersand fSpec =
           | (rol, rul) <- fRoleRuls fSpec
         ]
       ),
-      -- ( "markup",
-      --   "Meaning",
-      --   "Markup",
-      --
-      --   [ (dirtyId mean, dirtyId . ameaMrk $ mean)
-      --     | mean :: Meaning <- instanceList fSpec
-      --   ]
-      -- ),
+      ( "markup",
+        "Meaning",
+        "Markup",
+        [ (dirtyId mean, dirtyId . ameaMrk $ mean)
+          | mean :: Meaning <- instanceList fSpec
+        ]
+      ),
       -- ( "markup",
       --   "Purpose",
       --   "Markup",