path: root/testsuite/tests/typecheck/should_fail/tcfail136.hs

-- Kind error message test

module ShouldFail where

type IntMap a = [a]

data SymDict a = SymDict {idcounter:: Int, itot::IntMap a}

data SymTable = SymTable {  dict::SymDict   }