Barry Schwartz committed 00452cc

Fix constant_pure_generator (though not taking account of "exclude" options, not mattering for now, because generators need to be done differently, anyway, but just be aware that "exclude" won’t work for constants yet)

Comments (0)

Files changed (1)


     _ slice_index components = val (xml::node_attr constant_node "mv");
     constant_name = xml::node_attr constant_node "name";
-    mv_symbol_name =
-      search_toward_root (flip xml::node_attr "pure-mv-symbol") constant_node;
-    mv_symbol = if stringp mv_symbol_name then
-                  val mv_symbol_name
-                else
-                  '::geomalg::symb::mv;     // FIXME: Do we want this?
+    opts = options "pure" [] constant_node;
+    mv_symbol = catch (cst ('::geomalg::symb::mv)) (val (opts!"mv-symbol"));
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.