search

nilcons / hi2

haskell-indentation 2nd try
GNU General Public License v3.0
33 stars 3 forks source link

GADT indentation does not work #16

Open s9gf4ult opened 7 years ago

s9gf4ult commented 7 years ago

Here is the code

data Collection (s :: [S]) (k :: key -> *) (f :: key -> *) where
  Rec     :: Record k f                   -> Collection '[] k f
  List    :: DList (Record k f)           -> Collection '[ 'L ] k f
  Grouped :: Map (DSum k f) (Collection s k f) -> Collection ('G ': s) k f

If I step at the end of declaration wanting to add new constructor, hi2 proposes me just one indentation position and it is totally wrong:

2017-02-28-123232_836x122_scrot