Opened 5 years ago

Last modified 18 months ago

#9427 new feature request

Do finer-grained dependency analysis to infer more general kinds on type/class declarations

Reported by: goldfire Owned by:
Priority: normal Milestone:
Component: Compiler (Type checker) Version: 7.8.2
Keywords: CUSKs Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page: https://ghc.haskell.org/trac/ghc/wiki/GhcKinds/KindInference

Description

In the resolution to #9200, as detailed here, we identified an area for improvement. This improvement was not implemented in the fix for #9200. This ticket will track just this improvement.

(In brief: we can do better dependency analysis on mutually recursive type/class declarations to allow more kinds to generalize earlier. This would lessen the burden on programmers to put in kind annotations. See the wiki page.)

A solid but unfinished attempt is here.

Change History (4)

comment:1 Changed 5 years ago by goldfire

Type: bugfeature request

comment:2 Changed 5 years ago by thomie

Component: CompilerCompiler (Type checker)

comment:3 Changed 21 months ago by kcsongor

Wiki Page: https://ghc.haskell.org/trac/ghc/wiki/GhcKinds/KindInference

comment:4 Changed 18 months ago by RyanGlScott

Keywords: CUSKs added
Note: See TracTickets for help on using tickets.