diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/users_guide/glossary.rst | 18 | ||||
-rw-r--r-- | docs/users_guide/index.rst | 1 |
2 files changed, 19 insertions, 0 deletions
diff --git a/docs/users_guide/glossary.rst b/docs/users_guide/glossary.rst new file mode 100644 index 0000000000..6c036f8093 --- /dev/null +++ b/docs/users_guide/glossary.rst @@ -0,0 +1,18 @@ +Glossary +======== + +technology preview:: + + GHC will occassionally ship features advertised as being in a *technology + preview* state. Such features are generally opt-in in nature (e.g. new + language extensions). + + + Expectation that work will continue -- unlikely to just disappear + Doesn’t implement all features (best to enumerate: TH…) + A list of known bugs/shortcomings listed here (wiki page) + Isn’t optimized (produces suboptimal code) + Behavior may change in the future, although we will try to document such changes + + + diff --git a/docs/users_guide/index.rst b/docs/users_guide/index.rst index 15274dcc71..4bdbf13eee 100644 --- a/docs/users_guide/index.rst +++ b/docs/users_guide/index.rst @@ -27,6 +27,7 @@ Contents: wasm bugs eventlog-formats + glossary editing-guide |