extractTypeDef :: Core.TypeDef -> [DataInfo]
extractTypeDef tdef
  = case tdef of
      Core.Data dataInfo Public conViss
        -> [dataInfo]
      _ -> []

{--------------------------------------------------------------------------
  Pretty printing

  TODO: redo
--------------------------------------------------------------------------}
extractTypeDef :: Core.TypeDef -> [DataInfo]
extractTypeDef tdef
  = case tdef of
      Core.Data dataInfo Public conViss
        -> [dataInfo]
      _ -> []

{--------------------------------------------------------------------------
  Pretty printing

  TODO: redo
--------------------------------------------------------------------------}
extractTypeDef tdef
  = case tdef of
      Core.Data dataInfo Public conViss
        -> [dataInfo]
      _ -> []

{--------------------------------------------------------------------------
  Pretty printing

  TODO: redo
--------------------------------------------------------------------------}