#19 Decouple namespace mapping from store operations.

Merged
scossu merged 1 commits from scossu/no_store_nsm into scossu/master 4 days ago
scossu commented 4 days ago

Namespace mapping has no business at the store level. It is an arbitrary mapping with no preservation value, and works at the term level, while stores operate at the buffer level. As long as the store normalizes all incoming URIs and stores them in their canonical form (which MUST always be), the namespace mapping can be applied to the graph and leave the store unaware of it.

Namespace mapping has no business at the store level. It is an arbitrary mapping with no preservation value, and works at the term level, while stores operate at the buffer level. As long as the store normalizes all incoming URIs and stores them in their canonical form (which MUST always be), the namespace mapping can be applied to the graph and leave the store unaware of it.
scossu commented 4 days ago
Owner

This also fixes a Makefile issue that created objects without debugging symbols for make debug.

This also fixes a Makefile issue that created objects without debugging symbols for `make debug`.
This pull request has been merged successfully!
Sign in to join this conversation.
No Milestone
No assignee
1 Participants
Loading...
Cancel
Save
There is no content yet.