Giters

microsoft / GSL

Guidelines Support Library

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Purpose of `<span_ext>`

beinhaerter opened this issue · comments

commented

While writing the documentation for GSL I saw that it is not clear to me what the exact purpose of <span_ext> is. It cannot be used alone, you must #include <span> first. But <span> already does #include <span_ext>. What is the intent of the separation into two files? Do we still need/want two files or should we merge <span_ext> into <span>?