[gsac] Support pragmas in string code files in gsac

Ignore-this: 49ee8294231166d46bfd6e21a105943e

darcs-hash:20140406225121-2809a-a16f5e589b79b578f40b42b7e9bacef37f1267e3
[syntax] Upgrade files to string code 0.1

Ignore-this: e5da3cbbd725157c6ea0737776cfbf13

darcs-hash:20140407024921-2809a-f21f419fd9ffd9d92f85aec866b99d777c8635e5
[syntax] Convert files to string code 0.1

Ignore-this: c7a6e99ac45dfd43fc9627d3113cea94

darcs-hash:20140407124851-2809a-e31e30f7d34f362f28c7e9aad399555050dedf35
[specification] Specify .cogvar

Ignore-this: 99dce5bf6ab59b5c15ffad9c4fd73563

darcs-hash:20140407230624-2809a-7122daa5c4f96709c769937d10c644a63162a3fe
[syntax] Upgrade file to string code 0.4

Ignore-this: 21a047807ec0c905863d64198a3b3206

darcs-hash:20140407235658-2809a-ade384774fbea8c9f2d2426666a0672597cf921f
[syntax] Upgrade file to string code 0.5

Ignore-this: 1af5342e284161a7d012b45b1428ff1

darcs-hash:20140408000212-2809a-a543296e3bd7b70de2eae3c9bdf65e313f25a4a5
[syntax] Upgrade file to string code 0.6

Ignore-this: 65a196d85bc1c5809c3e63e2e0f9c8a5

darcs-hash:20140408000623-2809a-6e4cb9047119627701445f6d717cd757d0371c04
[syntax] Upgrade file to string code 0.2

Ignore-this: e6552dd3a45d610aa9f4c6243822d28b

darcs-hash:20140408005833-2809a-a6e5d60813f35fd07ac83fdc9c3081b8cf3dcc74
[syntax] Upgrade file to string code 0.3

Ignore-this: 4f04ab6ed2e23e777ed032e430c1e03f

darcs-hash:20140408010308-2809a-f06e5d17e425e9a0ffd5f5eb51a2d75f357237b5
[syntax] Upgrade file to string code 0.4

Ignore-this: 2f24861151e699cf5bd1f0ac145751b4

darcs-hash:20140408010623-2809a-115cd14b76da9101e60ed409d84b3af9be0912b7
[syntax] Upgrade file to string code 0.5

Ignore-this: 9149bde991ae8783b335aba79a2ce259

darcs-hash:20140408010953-2809a-cad1f7525d8b60e6bce8d6d473509160c5af3dda
[syntax] Upgrade file to string code 0.6

Ignore-this: 44ce13c6686a7d4a27040be48b3460f6

darcs-hash:20140408011321-2809a-f7d6c991c90c0520ac3f52591fd97de0e1f2bcf5
[gsac] Record kind on "abstype nodes so the compiler doesn't need to look them up

Ignore-this: 9afaa3fb639ae1c1577a15269dbd432f

darcs-hash:20140408012230-2809a-d01dfefcf8bab668b151cdff3bf22bb9ebece8ed
[syntax] Upgrade file to string code 0.3

Ignore-this: 2e988ea8dd983ee973a3ba51878ee66d

darcs-hash:20140408014304-2809a-7dfbea39c4e8340d1f32167a9cc11083e9a721a6
[syntax] Upgrade file to string code 0.4

Ignore-this: c51b77b986f76b0da1e7a4f259fec2fa

darcs-hash:20140408014705-2809a-1ee9718c78dcf51a244d80636479e2c9ac5b78a9
[syntax] Upgrade file to 0.5

Ignore-this: 38596f77ee997ef55b5758b681a45a00

darcs-hash:20140408015021-2809a-0bf3d6afbf7724b986386ca339ffca26aea709dd
[syntax] Upgrade file to string code 0.6

Ignore-this: d430940e82d12ff0fac64b72405a6a08

darcs-hash:20140408015513-2809a-3a7d0c661900833252e4238e02f73b764a108aad
[gsac] Do not thread environment uselessly through type compiler

Ignore-this: bffe73465db375ba73fdbf4ef94db5e0

darcs-hash:20140408020135-2809a-b5f9f3b775ad2934560377f954a8d4fa57b7102d
[syntax] Upgrade file to string code 0.2

Ignore-this: 6568b3d433b2c7ba88f43fb894a7a450

darcs-hash:20140408024150-2809a-f84d3966a0f7e434db2f3fbe8bcc3be5c0339c08
[syntax] Upgrade file to string code 0.3

Ignore-this: 8611d9c9c05afbefabb3948272104d34

darcs-hash:20140408024618-2809a-604915c5d2c9421d2874acef8de00c43b32d4b23