diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-04-18 15:01:13 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-04-19 08:38:47 +0100 |
| commit | 17eb2419c42c70d7436b6b8cff0cef705353bb4e (patch) | |
| tree | e23a36cdbf1fa1ce1925a47be8988b8edffc1074 /docs/users_guide | |
| parent | d59939a4efeaca297cd2ad70a86ad589d1872003 (diff) | |
| download | haskell-17eb2419c42c70d7436b6b8cff0cef705353bb4e.tar.gz | |
Refactor computing dependent type vars
There should be no change in behaviour here
* Move splitDepVarsOfType(s) from Type to TcType
* Define data type TcType.TcDepVars, document what it means,
and use it where appropriate, notably in splitDepVarsOfType(s)
* Use it in TcMType.quantifyTyVars and friends
Diffstat (limited to 'docs/users_guide')
0 files changed, 0 insertions, 0 deletions