ref: e83058f4c2c0fa30fc8737a68ed9309a66e038dc
parent: 0b2758ec8f9836e00c43518c8a24d1f43668c746
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Mon Oct 28 06:53:25 EDT 2024
Fix issue #67
--- a/generated/mhs.c
+++ b/generated/mhs.c
@@ -1596,122 +1596,122 @@
51,52,64,185,230,171,26,230,160,19,15,117,110,100,101,102,105,110,101,100,
32,109,111,100,117,108,101,230,176,8,111,38,0,79,96,10,225,22,4,129,
220,65,77,0,52,232,155,10,225,62,5,160,37,0,95,84,140,175,42,65,
-65,245,133,0,160,46,64,101,226,24,3,146,106,97,66,97,96,65,60,217,
-190,225,62,1,224,63,1,224,2,0,162,134,224,21,6,160,196,194,154,99,
-70,227,68,1,224,22,1,193,78,106,60,181,176,224,253,2,138,220,0,56,
-85,93,129,106,2,49,52,56,130,159,64,164,224,209,0,224,187,0,64,181,
-149,81,199,208,96,96,66,59,1,57,53,96,97,225,184,16,176,87,130,99,
-225,179,1,136,202,97,167,64,92,0,51,184,119,90,99,64,158,228,139,4,
-3,95,50,48,50,224,58,2,6,116,121,81,73,100,101,110,128,60,250,26,
-0,96,70,149,185,192,226,228,121,1,180,5,97,48,66,239,97,155,1,95,
-53,123,248,193,98,132,65,130,158,227,18,4,227,4,6,128,70,116,106,83,
-69,230,202,0,226,205,0,96,137,150,45,0,80,86,127,64,107,246,57,8,
-65,177,160,20,231,207,1,128,88,0,51,98,55,161,198,64,12,138,86,0,
-95,85,130,100,228,128,42,105,229,234,226,2,128,55,160,0,224,50,18,224,
-42,7,209,106,64,148,138,70,225,16,1,224,9,4,162,168,224,9,4,224,
-39,11,170,13,234,6,1,164,107,228,192,2,0,67,86,226,0,52,167,21,
-114,168,1,54,51,98,69,149,105,114,219,0,95,120,57,64,37,1,95,51,
-121,232,64,0,66,113,1,50,50,66,183,82,205,2,49,52,54,245,44,2,
-65,217,0,57,66,73,179,26,96,245,248,165,3,96,4,160,21,248,189,5,
-139,222,245,109,13,166,199,229,44,1,168,209,132,206,250,84,1,161,75,232,
-217,9,224,142,5,224,122,0,96,15,225,198,6,224,7,1,230,252,27,224,
-157,2,96,16,231,102,1,238,207,3,161,155,167,34,128,81,194,196,69,236,
-193,63,66,191,182,21,224,213,8,224,0,2,68,109,134,183,0,95,145,175,
-160,110,225,149,15,172,138,225,152,36,128,212,238,184,4,97,17,130,72,0,
-80,225,169,13,224,76,1,129,61,192,244,128,239,192,39,230,157,0,167,215,
-128,186,68,13,210,126,225,232,30,160,219,224,85,26,102,131,226,62,49,69,
-197,87,136,101,197,224,238,11,228,8,6,193,231,194,73,226,35,1,199,138,
-96,138,160,29,236,48,2,236,51,1,226,39,5,160,34,224,61,0,124,165,
-227,43,15,236,8,0,226,208,7,160,132,224,10,2,225,160,1,133,24,225,
-34,6,70,219,172,178,166,248,233,94,1,169,86,193,57,1,95,55,68,62,
-225,49,3,0,51,91,196,0,95,161,123,160,233,224,218,1,224,155,9,240,
-229,17,192,54,193,55,227,89,1,225,50,0,193,39,132,224,64,52,224,93,
-2,0,83,160,53,103,51,226,104,3,230,232,11,0,55,64,88,230,209,0,
-137,140,227,73,1,227,152,14,224,165,26,160,145,64,168,227,243,6,224,79,
-6,228,4,2,224,0,1,64,177,178,144,157,207,155,14,228,215,44,99,212,
-242,130,20,194,40,224,202,9,235,13,2,224,202,9,97,195,224,85,32,160,
-82,225,96,8,224,0,1,225,9,12,3,64,64,95,56,107,107,64,63,96,
-7,130,98,131,80,224,5,0,92,159,97,50,163,206,224,6,5,224,14,1,
-1,52,52,167,119,145,76,104,165,98,47,77,28,96,250,96,11,138,10,128,
-13,227,13,1,227,145,2,203,63,96,233,204,129,96,11,65,174,0,55,94,
-165,224,163,2,64,45,0,55,103,81,227,90,2,96,100,65,56,66,123,228,
-133,2,224,99,0,96,96,95,135,90,112,235,0,2,130,17,224,22,1,224,
-59,0,128,192,134,23,0,57,149,210,114,234,125,119,162,225,64,112,3,95,
-56,51,51,70,31,141,39,188,130,0,49,173,67,228,102,1,131,88,129,183,
-129,192,94,22,74,120,0,48,158,154,236,30,6,2,79,32,35,64,116,130,
-220,3,95,49,50,51,105,246,160,13,0,48,129,18,131,98,4,53,32,95,
-54,50,72,102,2,49,49,53,82,90,64,9,2,56,51,32,239,177,0,224,
-34,18,98,150,0,35,96,172,65,198,0,54,169,211,2,95,52,52,65,14,
-76,72,160,150,0,52,128,11,0,48,159,9,1,95,51,68,190,64,49,204,
-10,2,95,52,51,71,57,160,49,0,53,68,31,224,36,1,235,121,0,116,
-63,77,56,130,7,229,194,1,246,52,1,98,12,0,79,132,193,3,95,57,
-56,54,235,55,2,1,45,62,139,49,129,242,64,30,64,141,3,95,49,52,
-54,65,156,129,40,134,197,140,196,224,66,10,0,61,160,66,226,57,2,77,
-0,1,52,54,68,15,163,118,224,127,6,3,79,32,35,49,66,58,128,95,
-224,123,0,1,49,52,129,69,72,49,245,11,1,224,59,2,1,49,51,210,
-57,160,48,96,15,64,48,64,22,224,48,10,160,108,3,56,53,57,52,224,
-109,8,224,233,10,224,193,1,224,233,2,64,63,0,54,67,224,165,19,224,
-230,16,160,31,224,35,1,98,146,108,100,224,16,1,97,172,237,199,28,99,
-40,195,83,162,233,173,193,227,113,3,229,174,3,135,170,131,94,2,49,51,
-54,66,217,3,67,32,95,52,217,59,227,89,9,226,197,28,64,127,231,99,
-5,200,205,224,141,20,131,126,79,26,0,51,97,98,78,255,96,147,198,201,
-99,249,67,176,1,95,57,86,171,160,92,99,187,66,32,0,48,195,169,66,
-238,142,11,192,80,99,170,160,6,64,29,141,226,224,29,6,224,12,6,64,
-130,64,43,141,132,97,217,90,163,0,55,128,65,141,142,160,21,0,52,64,
-165,0,58,129,218,1,10,65,226,234,2,10,80,114,105,109,105,116,105,118,
-101,115,46,98,245,64,35,141,30,132,241,224,114,2,224,128,7,128,20,64,
-48,133,215,0,75,233,25,0,0,83,170,38,130,185,224,5,4,64,138,136,
-173,194,20,1,95,52,97,42,4,64,95,51,56,56,64,174,0,48,64,4,
-97,171,227,247,0,103,14,224,39,19,96,133,0,54,164,100,250,148,0,4,
-66,32,95,53,52,77,103,0,50,145,236,112,247,100,124,1,35,52,143,173,
-196,123,64,146,111,152,0,75,103,224,129,237,64,23,132,147,77,163,65,146,
-97,200,225,59,12,164,116,131,62,67,192,71,112,130,122,229,109,14,224,79,
-21,164,129,224,79,25,225,0,3,130,81,0,75,64,190,64,14,130,66,129,
-15,1,55,55,64,3,104,206,1,50,49,71,44,110,127,0,57,99,79,162,
-250,0,48,224,33,0,2,49,51,56,240,228,0,172,215,224,63,13,1,49,
-51,75,177,231,3,0,224,65,0,65,229,65,128,218,10,224,65,6,2,49,
-52,52,164,167,99,139,0,95,93,86,160,56,160,201,130,209,224,120,18,1,
-52,52,66,68,64,32,224,116,0,108,64,65,37,64,13,0,80,103,68,0,
-52,71,33,227,191,1,160,16,96,42,66,10,0,56,66,67,0,51,67,174,
-131,218,104,150,0,73,66,55,234,178,4,70,203,138,178,140,156,194,144,137,
-122,112,233,96,90,201,69,64,149,242,144,1,224,76,11,1,49,51,161,119,
-96,31,170,66,96,146,0,54,149,102,64,48,177,102,240,45,0,236,138,9,
-246,21,20,195,139,202,19,64,7,238,47,9,232,110,4,105,208,113,75,224,
-0,8,164,224,160,46,226,42,1,225,113,1,79,102,193,171,65,159,65,104,
-65,21,0,57,239,35,4,201,72,225,241,2,168,211,2,64,95,50,67,171,
-64,0,66,1,132,189,243,134,5,96,167,98,86,159,138,1,49,48,113,224,
-202,164,96,219,0,83,97,113,225,30,2,81,153,64,119,164,145,5,67,32,
+65,245,133,0,160,46,64,101,169,254,98,25,1,95,53,122,93,146,113,97,
+73,97,103,65,67,217,197,225,69,1,224,70,1,224,2,0,162,141,224,21,
+6,160,203,194,161,99,77,147,166,0,57,224,114,0,224,31,4,193,94,106,
+76,181,192,225,13,2,138,236,0,56,85,109,129,122,2,49,52,56,128,67,
+64,173,224,225,0,224,196,0,64,190,149,97,199,224,96,96,66,75,1,57,
+53,96,97,225,200,16,176,103,130,115,225,195,1,136,218,97,183,64,92,0,
+51,184,135,90,115,64,158,228,155,4,3,95,50,48,50,224,58,2,6,116,
+121,81,73,100,101,110,128,60,250,42,0,96,70,149,201,192,226,228,137,1,
+180,21,97,57,225,170,7,193,107,132,81,130,174,227,34,4,227,20,6,128,
+70,116,122,83,85,230,218,0,226,221,0,96,137,150,61,0,80,86,143,64,
+107,246,73,8,65,184,160,20,231,223,1,128,88,0,51,64,243,193,198,64,
+12,138,102,0,95,85,146,100,244,128,42,105,245,234,242,2,128,55,160,0,
+224,50,18,224,42,7,209,122,64,148,138,86,225,16,1,224,9,4,162,177,
+224,9,4,224,39,11,170,29,234,22,1,164,123,228,208,2,0,67,86,242,
+0,52,167,37,98,200,1,54,51,130,209,117,121,114,235,0,95,120,73,64,
+37,1,95,51,121,248,64,0,66,113,1,50,50,66,183,82,221,2,49,52,
+54,245,60,2,65,217,0,57,66,73,179,42,96,245,248,181,3,96,4,160,
+21,248,205,5,139,238,245,125,13,166,215,229,60,1,168,225,132,222,250,100,
+1,161,75,232,233,9,224,142,5,224,122,0,96,15,225,198,6,224,7,1,
+231,12,27,224,157,2,96,16,231,118,1,238,223,3,161,155,167,50,128,81,
+194,196,69,252,193,63,66,191,182,37,224,213,8,224,0,2,68,116,134,199,
+0,95,145,191,160,110,225,149,15,165,29,225,152,36,128,212,238,200,4,97,
+17,130,72,0,80,225,169,13,224,76,1,129,61,192,244,128,239,192,39,230,
+173,0,167,231,128,186,68,13,210,142,225,232,30,160,219,224,85,26,102,147,
+226,62,49,69,197,87,152,101,197,224,238,11,228,8,6,193,231,194,73,226,
+35,1,199,154,96,138,160,29,236,64,2,236,67,1,226,39,5,160,34,224,
+61,0,124,181,227,43,15,236,24,0,226,208,7,160,132,224,10,2,225,160,
+1,133,24,225,34,6,70,228,172,194,167,1,233,110,1,169,102,193,57,1,
+95,55,68,62,225,49,3,0,51,91,212,0,95,161,123,160,233,224,218,1,
+224,155,9,240,245,17,192,54,193,55,227,89,1,225,50,0,193,39,132,224,
+64,52,224,93,2,0,83,160,53,103,51,226,104,3,230,232,11,0,55,64,
+88,230,209,0,137,156,227,73,1,227,152,14,224,165,26,160,145,64,168,227,
+243,6,224,79,6,228,4,2,224,0,1,64,177,178,160,157,223,155,30,228,
+215,44,99,212,242,146,20,194,40,224,202,9,235,29,2,224,202,9,97,195,
+224,85,32,160,82,225,96,8,224,0,1,225,9,12,3,64,64,95,56,107,
+123,64,63,96,7,130,98,131,80,224,5,0,92,175,97,50,163,206,224,6,
+5,224,14,1,1,52,52,167,119,145,92,104,165,98,47,77,44,96,250,96,
+11,138,19,128,13,227,13,1,227,145,2,203,79,96,233,204,145,96,11,65,
+174,0,55,94,181,224,163,2,64,45,0,55,103,81,227,90,2,96,100,65,
+56,66,123,228,133,2,224,99,0,96,96,95,151,90,128,235,16,2,130,17,
+224,22,1,224,59,0,128,192,134,23,0,57,149,226,114,250,125,135,162,225,
+64,112,3,95,56,51,51,70,31,141,55,188,146,0,49,173,83,228,102,1,
+131,88,129,183,129,192,94,38,74,120,0,48,158,170,236,46,6,2,79,32,
+35,64,116,130,220,3,95,49,50,51,105,246,160,13,0,48,129,18,131,98,
+4,53,32,95,54,50,72,102,2,49,49,53,82,106,64,9,2,56,51,32,
+239,193,0,224,34,18,98,150,0,35,96,172,65,198,0,54,169,211,2,95,
+52,52,65,14,76,88,160,150,0,52,128,11,0,48,159,25,1,95,51,68,
+190,64,49,204,19,2,95,52,51,71,57,160,49,0,53,68,31,224,36,1,
+235,121,0,116,79,77,72,130,7,229,194,1,246,68,1,98,12,0,79,132,
+193,3,95,57,56,54,235,55,2,1,45,62,139,49,129,242,64,30,64,141,
+3,95,49,52,54,65,156,129,40,134,197,140,212,224,66,10,0,61,160,66,
+226,57,2,77,16,1,52,54,68,15,163,118,224,127,6,3,79,32,35,49,
+66,58,128,95,224,123,0,1,49,52,129,69,72,49,245,27,1,224,59,2,
+1,49,51,210,73,160,48,96,15,64,48,64,22,224,48,10,160,108,3,56,
+53,57,52,224,109,8,224,233,10,224,193,1,224,233,2,64,63,0,54,67,
+224,165,19,224,230,16,160,31,224,35,1,98,146,108,100,224,16,1,97,172,
+237,208,28,99,40,195,83,162,233,173,193,227,113,3,229,174,3,135,170,131,
+94,2,49,51,54,66,217,3,67,32,95,52,217,75,227,89,9,226,197,28,
+64,127,231,99,5,200,205,224,141,20,131,126,79,42,0,51,97,98,81,40,
+96,147,198,201,99,249,67,176,1,95,57,86,187,160,92,99,187,66,32,0,
+48,195,169,66,238,142,11,192,80,99,170,160,6,64,29,141,226,224,29,6,
+224,12,6,64,130,64,43,141,132,97,217,90,179,0,55,128,65,141,142,160,
+21,0,52,64,165,0,58,129,218,1,10,65,226,234,2,10,80,114,105,109,
+105,116,105,118,101,115,46,98,245,64,35,141,30,132,241,224,114,2,224,128,
+7,128,20,64,48,133,215,0,75,233,25,0,0,83,170,38,130,185,224,5,
+4,64,138,136,173,194,20,1,95,52,97,42,4,64,95,51,56,56,64,174,
+0,48,64,4,97,171,227,247,0,103,14,224,39,19,96,133,0,54,164,100,
+250,164,0,4,66,32,95,53,52,77,103,0,50,145,252,113,7,100,124,1,
+35,52,143,173,196,123,64,146,111,152,0,75,103,224,129,237,64,23,132,147,
+77,163,65,146,97,200,225,59,12,164,116,131,62,67,192,71,112,130,122,229,
+109,14,224,79,21,164,129,224,79,25,225,0,3,130,81,0,75,64,190,64,
+14,130,66,129,15,1,55,55,64,3,104,206,1,50,49,71,44,110,127,0,
+57,99,79,162,250,0,48,224,33,0,2,49,51,56,240,228,0,172,215,224,
+63,13,1,49,51,75,177,231,3,0,224,65,0,65,229,65,128,218,26,224,
+65,6,2,49,52,52,164,167,99,139,0,95,93,102,160,56,160,201,130,209,
+224,120,18,1,52,52,66,68,64,32,224,116,0,108,64,65,37,64,13,0,
+80,103,68,0,52,71,33,227,191,1,160,16,96,42,66,10,0,56,66,67,
+0,51,67,174,131,218,104,150,0,73,66,55,234,178,4,70,203,138,178,140,
+156,194,144,137,122,112,233,96,90,201,69,64,149,242,144,1,224,76,11,1,
+49,51,161,119,96,31,170,66,96,146,0,54,149,118,64,48,177,102,240,45,
+0,236,138,9,246,37,20,195,139,202,19,64,7,238,47,9,232,110,4,105,
+208,113,75,224,0,8,164,224,160,46,226,42,1,225,113,1,79,102,193,171,
+65,159,65,104,65,21,0,57,239,35,4,201,72,225,241,2,168,211,2,64,
+95,50,67,171,64,0,66,1,132,189,243,134,5,96,167,98,86,159,154,1,
+49,48,113,224,202,164,96,219,116,49,238,173,4,160,251,164,145,5,67,32,
60,32,64,35,128,143,228,91,1,225,59,0,192,24,97,152,128,1,224,237,
-0,2,95,57,54,73,227,246,225,0,160,156,139,106,162,15,227,3,4,0,
-49,151,34,224,73,0,64,233,226,234,4,167,4,100,175,144,109,98,81,247,
-69,5,224,165,10,142,5,96,165,243,85,6,224,126,1,115,220,1,51,50,
-246,64,3,13,116,121,112,101,32,115,105,103,110,97,116,117,114,101,136,226,
+0,2,95,57,54,73,227,246,241,0,160,156,139,106,162,15,227,3,4,0,
+49,151,50,224,73,0,64,233,226,234,4,167,4,100,175,144,109,98,81,247,
+85,5,224,165,10,142,5,96,165,243,85,6,224,126,1,115,220,1,51,50,
+246,80,3,13,116,121,112,101,32,115,105,103,110,97,116,117,114,101,136,226,
128,151,238,206,4,224,215,4,224,209,12,64,41,168,12,224,112,6,0,57,
-97,220,135,226,224,72,3,227,254,5,151,199,225,94,21,225,50,0,226,47,
+97,220,135,226,224,72,3,227,254,5,151,215,225,94,21,225,50,0,226,47,
7,224,126,0,1,95,53,68,39,225,51,12,128,0,224,54,3,0,58,98,
-138,133,16,224,114,6,0,49,249,172,0,69,110,192,50,163,8,163,158,162,
+138,133,16,224,114,6,0,49,249,188,0,69,110,192,50,163,8,163,158,162,
15,229,39,6,0,49,136,76,228,16,3,136,223,102,215,2,49,48,50,103,
-252,254,138,3,235,192,9,225,158,1,2,67,97,110,94,253,17,115,97,116,
-105,115,102,121,32,99,111,110,115,116,114,97,105,110,116,247,232,0,107,222,
+252,254,154,3,235,192,9,225,158,1,2,67,97,110,95,13,17,115,97,116,
+105,115,102,121,32,99,111,110,115,116,114,97,105,110,116,247,248,0,107,222,
0,57,168,193,64,0,64,213,180,204,4,32,95,56,48,52,64,4,131,120,
76,157,64,29,135,154,227,156,11,229,60,4,227,200,2,239,176,6,132,176,
1,55,57,230,167,2,27,92,51,52,38,115,114,99,47,77,105,99,114,111,
72,115,47,84,121,112,101,67,104,101,99,107,46,104,115,64,27,7,44,49,
-50,54,54,58,49,57,214,185,0,90,97,55,1,49,56,64,96,67,96,68,
+50,54,53,58,49,57,214,185,0,90,97,55,1,49,56,64,96,67,96,68,
102,1,49,48,161,17,163,182,229,234,4,166,116,141,138,1,50,53,230,140,
-1,64,187,96,70,100,5,97,114,224,172,58,1,55,50,224,172,0,216,68,
+1,64,187,96,70,100,5,97,114,224,172,58,1,55,49,224,172,0,216,68,
175,237,226,211,1,133,177,192,0,226,67,3,1,49,52,100,183,64,226,225,
68,1,226,50,23,163,249,224,29,5,151,179,0,53,182,34,68,226,230,188,
2,101,129,131,237,225,41,3,66,78,0,51,193,31,227,47,12,98,114,77,
92,241,5,5,205,78,1,52,48,224,189,0,134,179,209,192,128,10,1,52,
51,65,83,198,38,0,52,65,139,120,78,224,161,10,224,19,12,230,59,1,
-64,0,66,145,0,54,194,145,1,49,52,78,0,101,202,96,24,250,47,2,
+64,0,66,145,0,54,194,145,1,49,52,78,0,101,202,96,24,250,56,2,
128,139,163,217,0,50,67,70,96,33,174,33,168,85,224,229,3,163,166,0,
90,229,16,1,227,228,7,0,48,73,203,128,248,64,203,229,52,3,225,78,
4,226,96,2,99,196,0,49,65,31,204,36,160,61,224,95,4,225,212,9,
228,236,4,107,244,160,104,224,176,4,204,100,98,89,104,124,236,61,1,64,
-110,2,95,55,52,228,209,2,160,89,0,52,92,146,0,95,114,166,96,65,
-86,136,123,201,65,77,106,228,1,56,49,222,21,65,49,138,18,136,58,240,
+110,2,95,55,52,228,209,2,160,89,0,52,92,162,0,95,114,166,96,65,
+86,136,123,217,65,77,106,228,1,56,49,222,37,65,49,138,18,136,58,240,
100,3,165,190,181,19,130,137,244,16,3,228,207,1,212,165,208,130,136,155,
178,87,240,111,4,237,125,0,1,49,52,68,125,112,151,2,35,49,50,128,
196,3,95,54,50,48,173,151,171,3,194,83,64,73,192,92,226,56,4,224,
@@ -1721,7 +1721,7 @@
111,65,10,0,55,171,143,235,234,15,64,46,188,92,0,53,173,147,228,59,
1,0,50,66,57,0,75,226,172,7,64,152,1,57,53,85,222,128,142,244,
227,1,229,177,12,194,128,229,229,5,0,49,109,171,146,165,228,22,9,2,
-95,57,55,125,226,75,137,226,46,0,68,200,123,24,222,203,65,63,133,120,
+95,57,55,125,242,75,137,226,46,0,68,200,123,24,222,219,65,63,133,120,
2,54,49,57,99,165,65,235,134,110,75,142,156,246,64,22,179,218,64,101,
0,57,76,136,74,191,96,128,0,49,70,144,1,95,49,112,83,180,85,64,
47,0,54,231,139,13,167,254,66,157,104,239,98,165,137,2,0,64,195,175,
@@ -1756,9 +1756,9 @@
207,119,255,2,49,48,57,238,62,1,225,122,0,96,27,253,156,8,160,162,
2,95,55,55,231,252,5,192,213,210,47,228,225,2,236,203,2,225,21,4,
164,56,64,16,98,3,0,57,98,213,172,106,162,27,225,37,18,64,4,192,
-141,239,83,39,5,51,51,56,58,50,53,163,156,64,154,64,126,117,244,101,
+141,239,83,39,5,51,51,55,58,50,53,163,156,64,154,64,126,117,244,101,
110,225,15,3,1,95,55,74,47,225,105,28,253,100,3,225,110,9,231,143,
-2,64,251,180,85,224,237,31,0,65,224,237,52,0,55,224,237,3,245,170,
+2,64,251,180,85,224,237,31,0,65,224,237,52,0,54,224,237,3,245,170,
2,227,221,1,226,164,5,227,6,2,226,164,17,64,243,213,186,64,7,128,
213,166,29,192,38,213,153,69,249,226,71,2,68,229,143,46,236,53,4,247,
36,4,147,207,192,50,162,149,1,53,56,141,239,96,104,74,229,65,83,246,
@@ -1952,7 +1952,7 @@
49,48,51,55,32,145,105,97,92,150,224,128,51,118,238,64,135,1,64,90,
150,183,160,6,64,4,160,10,3,95,49,55,57,226,25,2,27,92,51,52,
38,115,114,99,47,77,105,99,114,111,72,115,47,84,121,112,101,67,104,101,
-99,107,46,104,115,64,27,7,44,49,49,53,49,58,50,53,241,48,0,100,
+99,107,46,104,115,64,27,7,44,49,49,53,48,58,50,53,241,48,0,100,
206,1,51,57,81,135,237,112,5,192,238,225,98,2,141,211,225,16,4,100,
23,165,66,192,2,171,27,96,93,192,247,97,98,224,5,4,170,199,224,92,
0,124,153,229,170,7,224,17,9,234,184,0,192,56,225,39,19,224,61,7,
--- a/src/MicroHs/TypeCheck.hs
+++ b/src/MicroHs/TypeCheck.hs
@@ -248,8 +248,7 @@
_ -> errorMessage (getSLoc m) $ "undefined module: " ++ showIdent m
getTVExps _ tys vals ast (ExpTypeSome i is) = getTypeExp tys vals ast i (`elem` is)
getTVExps _ tys vals ast (ExpTypeAll i ) = getTypeExp tys vals ast i (const True)
-getTVExps _ _ vals _ (ExpValue i) =
- ([], [ValueExport i (expLookup i vals)])
+getTVExps _ _ vals _ (ExpValue i) = ([], [ValueExport (unQualIdent i) (expLookup i vals)])
-- Export a type, filter exported values by p.
getTypeExp :: TypeTable -> ValueTable -> AssocTable -> Ident -> (Ident -> Bool) ->
@@ -259,7 +258,7 @@
e = expLookup ti tys
qi = tyQIdent e
ves = filter (\ (ValueExport i _) -> p i) $ getAssocs vals ast qi
- in ([TypeExport ti e ves], [])
+ in ([TypeExport (unQualIdent ti) e ves], [])
expLookup :: Ident -> SymTab -> Entry
expLookup i m = either (errorMessage (getSLoc i)) id $ stLookup "export" i m