[gsac] gsdl.cgs.typeenv.typefun.insert

Ignore-this: 949c8b8c16f80f566c2f77dd4e9e83ae

darcs-hash:20140115025123-2809a-dc776f270b06d8c4554b7f64b547d8919749170d
[gsac] Re-name tyexpr constructor to typefun

Ignore-this: 7ee9f727e158c5607517789708e3ea48

darcs-hash:20140115031408-2809a-bb88656679fad6840499c32f5b033dc5b6e6c47c
[gsac] gsac.prefix.item.typecheck/typefnitem/typefun

Ignore-this: 34228e87bfccdd0b35bef09968064204

darcs-hash:20140115032438-2809a-6b641eeec2a1edb9507e102c7066ba7c39b1f7bb
[gsac] Fix field numbering in gsdl.cgs.typeenv.typeexpansion.tylambda.prim.u

Ignore-this: b661b3dd6436b942dfd5402217d86309

darcs-hash:20140116033401-2809a-ab468660acc60449b7981bedfd5656b2818f0f84
[gsac] gsdl.cgs.typeenv.typeexpansion.substty

Ignore-this: 445e4f01182cb42982867fb8e721de1e

darcs-hash:20140117014806-2809a-479444593d1b086e0af06f0b8af4fd747d1d9331
[gsac] gsdl.cgs.typeenv.typeexpansion.app/expr/:

Ignore-this: bb2da1264150276e94b9db958f92e9dc

darcs-hash:20140117014813-2809a-0f5cf74b935b2c4115718a601aa089ced7959edb
[gsac] gsdl.cgs.typeenv.typeexpansion.substty

Ignore-this: b73cf5e778043907e3f821270fac89b7

darcs-hash:20140117015147-2809a-1197697bc20c24a03b673ff7fa130c78a4e95cec
[gsac] Add definedprim constructor to gsdl.cgs.gstype.t

Ignore-this: de2c756a5cc7c04495eb1cb205eb5206

darcs-hash:20140117033607-2809a-77b489f95b379a5c346788d73352f5c9a4824ff0
[gsac] Remove definedprim constructor from gsdl.cgs.typeenv.typeexpansion.t

Ignore-this: 74a7a5b7036c8960f0ebfd94ed2e053e

darcs-hash:20140117034907-2809a-6f4b51482359d9094e8a65a51bc3c8a53ba62ef6
[gsac] Convert gsdl.cgs.typeenv.typeexpansion.t from ADT to record type

Ignore-this: 6879bd2ff70d8540cd936d0de21ecaae

darcs-hash:20140117040811-2809a-2bd8ca58d7596cd896638318beac13052d0ee1c3
[gsac] gsdl.cgs.typeenv.typeexpansion.substty/nil

Ignore-this: 648043fbda229d0d5c7e5d1909e65868

darcs-hash:20140119022011-2809a-70623bb9c8f7f368061f49b1419c1f984daacf07
[gsac] Include type expressions with kind signatures in prefixen

Ignore-this: 4a8fc0934bf6240af99970f987376dc7

darcs-hash:20140119023013-2809a-a10ed58e8098e9972ca45d3ff38b34d598c608f8
[gsac] gsac.gstype.annotate/fun

Ignore-this: be0e79b21dca358772904e8bbb3b785d

darcs-hash:20140119041413-2809a-caa69858ae090763d99895be6585a494c48272c1
[gsac] gsac.gstype.annotate/pos

Ignore-this: 3ce9844c30d7bde7cbbf4dd969b4bc2e

darcs-hash:20140119145136-2809a-f8721b74406af3b901af18e0201c829cdf75d31a
[gsac] gsac.gstype.annotate/fun

Ignore-this: 6050c571ea21141c9170b33ae7de882d

darcs-hash:20140119145713-2809a-a70901f07a6eef53560ef9b277b5209789359e20
[gsac] gsac.gsexpr.annotate/expr.heavy.cast/expr

Ignore-this: 38c57ccfd9ba343f2e18fcc7783765ea

darcs-hash:20140119153335-2809a-b391c0d37df5464f8a1e9e17896c13fe5877f2c8
[gsac] Move coercion-annotation code in gsac.gsexpr.annotate/expr.heavy.cast outside the branch on the source

Ignore-this: 8f97302eedc929d4d0a1c31157d83733

darcs-hash:20140119190430-2809a-37b360dd92009592e1f3c92959437b2a4259528f
[gsac] gsac.gsexpr.annotate/expr.heavy.cast/expr

Ignore-this: d6cd282ca81204e5e747d7f5abef5e5b

darcs-hash:20140119192500-2809a-3cf64a369675143dcffbc55fe0f4883442f0dcff
[gsac] Add gstype field to gsac.gsexpr.body.annotate result

Ignore-this: a2cda65e87002b7544d059dfa96f5c0f

darcs-hash:20140119220501-2809a-e7f07520d257375c15c623bace49ad19fbeeb6cb
[gsac] gsac.gsexpr.annotate/lift

Ignore-this: 407d8d577940e0cf2f2921461b9fc72f

darcs-hash:20140119194205-2809a-2538dd6488a735ad639e687e97b565bf6c29aae2