[gsac] gsac.gsexpr.annotate/expr.heavy.cast: source

Ignore-this: 9e5ecc176e72dfc19a476faafcf3c929

darcs-hash:20131118013759-2809a-cf856c647d4960bcf6e4a1c9c6697566683a219a
[gsac] gsdl.cgs.gstype.substty

Ignore-this: f1c529efd9240214ef0fbdde3a71623d

darcs-hash:20131118131441-2809a-42c6dddc5d9a887335fe0f30fd9b1fa5a3cfdacf
[gsac] gsdl.cgs.gscoercion.substty/iso: destination type

Ignore-this: 24fd86184e3ee9ddea6dca24f9693e87

darcs-hash:20131118131455-2809a-eddd5f72a9d185b9cd4b73ab0a3b8f998b227957
[gsac] gsdl.cgs.gstype.substty

Ignore-this: 69c58d0e1613b8fe0b747c43b0a96d85

darcs-hash:20131119012549-2809a-33785553c8227fd2cb157300c53eb8f5327fa8ed
[gsac] _gsac.gscoercion.annotate_defn_w/:/false/res1

Ignore-this: 291e9e5e06799e8ad5f184d38d78fee5

darcs-hash:20131119012730-2809a-9fe1ee12707a1a86b9041d0e63df55070a0e3298
[gsac] gsdl.cgs.gstype.substty/app

Ignore-this: 635ff6d898f4c75b5b748f3b87ece4c7

darcs-hash:20131119013541-2809a-06c0f09b62967c515361c047023af144eaf04faf
[gsac] Back out daft gsac.gstype.check/var logic

Ignore-this: 846b403521f7f5a2684e5454eb6382e1

Expand the types directly before passing them in.

darcs-hash:20131119043813-2809a-fb365c2088e096b28aa70a609fd11bb8ec6305ba
[gsac] gsac.gstype.check/app/app

Ignore-this: 54d7d275e6b4a323b597b0980532aa41

darcs-hash:20131119045251-2809a-768907ed1a7fd1ba72384999add3b4528b75b961
[gsac] gsdl.cgs.gstype.substty/app/tyf

Ignore-this: af4e3f911d8fd7348302bafc150b02ab

darcs-hash:20131120021522-2809a-5e76fb365c0d017306d126efacb05270923b484e
[gsac] gsdl.cgs.gstype.substty/abstype

Ignore-this: 4f43bdd94a9dfe8a3995d8f04fa12be3

darcs-hash:20131120021644-2809a-acbf76590e80c2da588ca96788f4cd13c6b4d7cd
[gsac] Change gsac.gstype.kindcheck to return a record rather than a bare kind, so we can return the expanded type as well

Ignore-this: ff4883fc16cdb3b86a4d62141fc33c86

darcs-hash:20131121135727-2809a-a7b4d58159ea89841b1d3f2d9e094f0cb5cc1ed2
[gsac] Add gstype field to gstype.kindcheck result

Ignore-this: 5569ba45b0f522f8eeaa3ccb0d41185c

darcs-hash:20131122015201-2809a-b6d4d98c2877e26a129bd485d33c583e906eb0cb
[gsac] Kind check type signature and type check expression type against so-expanded signature

Ignore-this: 17b1414cbce1017edcff882faebaa218

darcs-hash:20131122021011-2809a-98aceb3d4f4557955721a86ca8a4dbba1745798a
[gsac] Re-name gsac.gstype.kindcheck to gsac.gstype.annotate

Ignore-this: cd0c78b134fd7c20adebc2952fe58c67

darcs-hash:20131122040451-2809a-ac1597a7792fcabc35b8c90948e1908c94b8ca69
[gsac] Re-factor gsac.gstype.annotate to call helper function gsac.gstype.fun.annotate on type functions, to handle expanding type synonyms properly

Ignore-this: 40bc8e86ae85deee277340601382a37e

darcs-hash:20131124041103-2809a-c02f4345a785a1b25bb882782998e826b73cd766
[gsac] Move typeexpansion.app to gsdl.cgs.typeenv module

Ignore-this: 5f44f8e6d64ddf344741776221dc0c9b

darcs-hash:20131124141425-2809a-8fd9eefa4f769d058eda829eee3586b5877682f5
[gsac] Add gstype to gsac.gstype.fun.annotate result

Ignore-this: 8e48b2781eebc76c0d4e044fdf946bf4

darcs-hash:20131124144518-2809a-137fc8421c0c8af43ee3d6789112d9f37057c1be
[gsac] gsac.gstype.fun/annotate/app: gstype in result

Ignore-this: d41bc7edc5e7a8c88079c47d315d0e2a

darcs-hash:20131124152451-2809a-b6c2a322e34911c55dbb561971053eba67963ca1
[gsac] gsac.gstype.fun.annotate/var: type expansion in result

Ignore-this: 78f6cc0898cb769ffebb13014a6cd099

darcs-hash:20131124163519-2809a-a1202f4bd214b1117d53ff3aa68af433dc35e670
[gsac] gsdl.cgs.typeenv/typeexpansion.app/gsabstype

Ignore-this: 459fe565074ea9d00ac3e3909f25766a

darcs-hash:20131124165359-2809a-031b6e62f5fa14e65133c0bcacc677721a687b97