if the cached type contained a generic type context, the compiler could crash

remove import of StdCompare in checksupport.dcl,
changed some other imports

No commit message

(to have fewer differences with the haskell frontend branch)

fix type checking of existential type variables that are used by a dynamic expression,
but do not occur in the type of a dynamic pattern.
TempQDV is used for existential type variables in a dynamic pattern.

but do not occur in the type of a dynamic pattern.
TempQDV is used for existential type variables in a dynamic pattern.

call exported generic instances directly

use UniqueSingleArraySelector for a![i] instead of NormalSelector and
add UniqueSingleArraySelectorUniqueElementResult

cannot be empty

'checkError ("no generic instances of "..' in getSymbolType is called

(see example below)
by expanding the type synonym if a type variable is unified with
a type synonym that contains that variable.

:: Parser b a :== (YieldParser b a) -> (ID b) -> b
:: YieldParser b a :== a -> (ID b) -> b
:: ID b :== b

returnP :: a -> Parser b a
returnP x = \yp -> yp x

failP :: Parser b a
failP = \yp fp -> fp

'cannot unify types' on separate lines

because the resulting th_attrs were not stored in the type heaps

of the constructor, instead of a type index with a constructor index, create
VITI_PatternType only for records

a record occurs in a pattern and this record (variable) is updated
with a field of another record (with fewer fields).

for example:

:: R1 = {v1::!Int};
:: R2 = {v2::!Int,n1::!Real};

f r=:{v1} = {r & v2=v1};

could only fail in case of a kind error which is already detected
elsewhere

Bug fixs in universally quantified types: Attribute variables of universal type variables in type definitions were not initialized properly.

s/\<mod_name\>/mod_ident/g
s/\<ps_field_name\>/ps_field_ident/g
s/\<ps_selector_name\>/ps_selector_ident/g
s/\<pc_cons_name\>/pc_cons_ident/g
s/\<class_name\>/class_ident/g
s/\<gen_name\>/gen_ident/g
s/\<gen_member_name\>/gen_member_ident/g
s/\<gc_name\>/gc_ident/g
s/\<gc_gname\>/gc_gident/g
s/\<fs_name\>/fs_ident/g
s/\<td_name\>/td_ident/g
s/\<fv_name\>/fv_ident/g
s/\<var_name\>/var_ident/g
s/\<type_name\>/type_ident/g
s/\<symb_name\>/symb_ident/g
s/\<tv_name\>/tv_ident/g
s/\<av_name\>/av_ident/g
s/\<me_symb\>/me_ident/g
s/\<ft_symb\>/ft_ident/g
s/\<fun_symb\>/fun_ident/g
s/\<cons_symb\>/cons_ident/g
s/\<sd_symb\>/sd__ident/g

FI_IsNonRecursive from partition.icl and trans.icl
to syntax.dcl, added FI_IsUnboxedListOfRecordsConsOrNil
to mark instances of unboxed lists of records generated
in type.icl

better check for properties of abstract types,
check for linearity of instance types,
uniqueness bug for type synonyms,
kind check for function (arrow) types

clean-up and renamed functions from StdDynamic