[gsac] Fill out gsac.gscoercion.annotate

Ignore-this: 41f255a89dc24129744f34c04e4e774c

darcs-hash:20130826021718-2809a-998e9557eaa6a22b6352224dd48dcaf3f01f7dfa
[gsac] gsac.gscoercion.annotate/pos

Ignore-this: ca58708bc290b27088c8acbd614536e3

darcs-hash:20130826022237-2809a-f3bef905a3439afdb64dec948ba69dea44d65905
[gsac] list.t defn doc test fixture

Ignore-this: ac018c72b42e9f27de9616475ac74917

darcs-hash:20130827015159-2809a-7ca6dafcdc9e77c96974490f51139bbe5b38bbfb
[gsac] gsac.gscoercion.annotate/appty

Ignore-this: 158025c095456a077784ac029889b315

darcs-hash:20130827015808-2809a-ba5df3a33874f7909634e49de0b2714856ea697d
[gsac] Add abstract type definitions to cgs.typeenv

Ignore-this: 9a201aa8ed53c75e4637c4a581926a15

darcs-hash:20130828012040-2809a-8ea00164fa4006b37f093954bab5bf3cc79182d5
[gsac] gsdl.cgs.typeenv.typedefinition.get

Ignore-this: 6f1745954fce2d4ff75fe260a581ba36

darcs-hash:20130828014940-2809a-e40117321be3ed4a528039f637b0d96b20fd9fd5
[gsac] gsac.gscoercion.annotate/defn

Ignore-this: aa95f0bb7e614e282b6a8ed7e3c72ee0

darcs-hash:20130828015734-2809a-9d556f472297c58af66ff0266b5fc7cc9d442b61
[gsac] Fill out gsac.gscoercion.annotate/defn a bit more

Ignore-this: c167db9b6c11ce013787bb38e3e77eb6

darcs-hash:20130828020129-2809a-0c422710547ad48e628226c28491d53384a1a2f0
[gsac] Babbling

Ignore-this: 84f6f52ea4b028c4b10cf4b6738f4a5c

darcs-hash:20130830014548-2809a-bb7bd0f706c1bdb7fedd6d49895698de5f48a3d0
[gsac] Re-name prefix.typecheck/abstype (kind) test so we can add a defn test as well

Ignore-this: 5d4d25529dd48acdf603b8575e7c187c

darcs-hash:20130830020645-2809a-dd30be4bf03b785fd2f60bee0f54ce7ff7057dee
[gsac] Fix syntax of _typesection_ty .tylet

Ignore-this: d9c0f7fdfe0fc7f2e9d808f8632db091

darcs-hash:20130830030648-2809a-78f397d85d7fe41f4b517bae9cb8fcebba4b7d25
[gsac] Fix documentation

Ignore-this: 9c04722f49609faef67a71e6bffebdfd

darcs-hash:20130830030811-2809a-9be73f28460449d03d373b62b89cac2581cd98ff
[gsac] Re-name gsac.prefix.typeitem to gsac.prefix.typefnitem and re-name related symbols

Ignore-this: 56f57827160abcbe73477046a51c20b4

darcs-hash:20130830033242-2809a-3da8fbbbca1accba6173f74af56ddb921df05765
[gsac] Re-name typesection element of gsac.prefix.t to typefunctions

Ignore-this: b41d4aa51fe185f2af6e5670b300e73e

darcs-hash:20130901015712-2809a-9a0d8faca667d18970b39fe894b079526e3d3e39
[gsac] Add type constants section to gsac.prefix.t

Ignore-this: 37a7d9f86a86f02a02ddeb741d934a38

darcs-hash:20130901023828-2809a-079de9cfeb4b854e6b981b7ef3ac39c7f3224660
[gsac] Switch to left folds for putting file type items into prefix as the operation is strict in the existing map (ordered.map.insert)

Ignore-this: 87f49563ab6093f8f395000a0157b546

darcs-hash:20130901044958-2809a-686ecbcb58a1cb217a4febcfcecb47e067937cab
[gsac] gsac.prefix.typeconstitem.gsabstype.insert

Ignore-this: f25b397eb44f704881cf0b375fd8b71e

darcs-hash:20130901050300-2809a-f1f0e281a772908f2eaf9577902a7857d2d49609
[gsac] Fill out gsac.prefix.typeconstitem.gsabstype.insert

Ignore-this: 90a681f94462a2a255a95b0bbbb44b0

darcs-hash:20130902041231-2809a-22cf186629e23477f19cfb40e3d0cecd6f3e215d
[gsac] Re-name items/gsabstype test out of the way so we can add a test for abstype defns in items

Ignore-this: 2b4d376f3a81bdbd2f9e3bfa03b53ca9

darcs-hash:20130902042909-2809a-eb6550362668d5c2033a5c4fb66ea56d1740d5d1
[gsac] gsac.prefix.item.typeconstitem

Ignore-this: 41f1ab5f2b4713b8291a3cd3837527c3

darcs-hash:20130902183313-2809a-1588b79009e46800dc57444c72163ac943cde220