<commit_before>Issue#2016Nov001: Missing default assumption of main :: IO ()

testcases/test8c.hs fails with "cannot resolve ambiguity."

- Added to tnitial Assump, Main::IO t0, however, does not work, why?
- When an explicit type signature, Main::IO (), specified,
  it should be type checked and override the initial assumption.

Issue#2016Nov002: (todo) the order of concatenation of Assumps.

(as1 ++ as2) and (as2 ++ as1) are different.
Did I write this correctly every times?

Issue#2016Nov003: Type classes having two or more super-class

for example, Ord => Char dictionary shoud have a way to invoke (==) method of Eq.







<commit_msg>added an issue.<commit_after>Issue#2016Nov001: Missing default assumption of main :: IO ()

testcases/test8c.hs fails with "cannot resolve ambiguity."

- Added to tnitial Assump, Main::IO t0, however, does not work, why?
- When an explicit type signature, Main::IO (), specified,
  it should be type checked and override the initial assumption.

Issue#2016Nov002: (todo) the order of concatenation of Assumps.

(as1 ++ as2) and (as2 ++ as1) are different.
Did I write this correctly every times?

Issue#2016Nov003: Type classes having two or more super-class

for example, Ord => Char dictionary shoud have a way to invoke (==) method of Eq.

Issue#2016Nov004: Temporary use of TermVar to bind a dictionary.

I used TermVar with a name like "Main.f.DARG0" and a dummy type like TGen (-3).
It is not beautiful and I should use appropreate element to express this kind of object.








{'fraction_non_alphanumeric': 0.08289817232375979, 'fraction_numerical': 0.041122715404699736, 'mean_word_length': 4.286206896551724, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5681022', 'n_tokens_mistral': 510, 'n_tokens_neox': 435, 'n_words': 214}