diff options
| author | krasimir <krasimir@chalmers.se> | 2009-10-28 17:44:50 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-10-28 17:44:50 +0000 |
| commit | c330cac1db47bbf5d90fbfbb215797c1dda186ae (patch) | |
| tree | 5533e1fa6489996cd2912ccbd44c82f3d5b4afc6 /src/GF/Compile/Abstract/TC.hs | |
| parent | d130d30669e80eed8cbf2852d48315d4e5191f20 (diff) | |
check for cyclic parameters, operations and dependent types
Diffstat (limited to 'src/GF/Compile/Abstract/TC.hs')
0 files changed, 0 insertions, 0 deletions