<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:st1="urn:schemas-microsoft-com:office:smarttags" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii">
<meta name=ProgId content=Word.Document>
<meta name=Generator content="Microsoft Word 10">
<meta name=Originator content="Microsoft Word 10">
<link rel=File-List href="cid:filelist.xml@01C74A1E.240F5F50">
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="PlaceName"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="PlaceType"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="place"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="country-region"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="City"/>
<!--[if gte mso 9]><xml>
<o:OfficeDocumentSettings>
<o:DoNotRelyOnCSS/>
</o:OfficeDocumentSettings>
</xml><![endif]--><!--[if gte mso 9]><xml>
<w:WordDocument>
<w:SpellingState>Clean</w:SpellingState>
<w:GrammarState>Clean</w:GrammarState>
<w:DocumentKind>DocumentEmail</w:DocumentKind>
<w:EnvelopeVis/>
<w:Compatibility>
<w:BreakWrappedTables/>
<w:SnapToGridInCell/>
<w:WrapTextWithPunct/>
<w:UseAsianBreakRules/>
</w:Compatibility>
<w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel>
</w:WordDocument>
</xml><![endif]--><!--[if !mso]>
<style>
st1\:*{behavior:url(#default#ieooui) }
</style>
<![endif]-->
<style>
<!--
/* Font Definitions */
@font-face
{font-family:CMR10;
panose-1:0 0 0 0 0 0 0 0 0 0;
mso-font-charset:0;
mso-generic-font-family:auto;
mso-font-format:other;
mso-font-pitch:auto;
mso-font-signature:3 0 0 0 1 0;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{mso-style-parent:"";
margin:0cm;
margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Times New Roman";
mso-fareast-font-family:"Times New Roman";
mso-ansi-language:EN-GB;}
a:link, span.MsoHyperlink
{color:blue;
text-decoration:underline;
text-underline:single;}
a:visited, span.MsoHyperlinkFollowed
{color:purple;
text-decoration:underline;
text-underline:single;}
span.EmailStyle17
{mso-style-type:personal;
mso-style-noshow:yes;
mso-ansi-font-size:10.0pt;
mso-bidi-font-size:10.0pt;
font-family:Arial;
mso-ascii-font-family:Arial;
mso-hansi-font-family:Arial;
mso-bidi-font-family:Arial;
color:windowtext;}
span.EmailStyle18
{mso-style-type:personal;
mso-style-noshow:yes;
mso-ansi-font-size:10.0pt;
mso-bidi-font-size:10.0pt;
font-family:Arial;
mso-ascii-font-family:Arial;
mso-hansi-font-family:Arial;
mso-bidi-font-family:Arial;
color:navy;}
span.EmailStyle19
{mso-style-type:personal-reply;
mso-style-noshow:yes;
mso-ansi-font-size:10.0pt;
mso-bidi-font-size:10.0pt;
font-family:Arial;
mso-ascii-font-family:Arial;
mso-hansi-font-family:Arial;
mso-bidi-font-family:Arial;
color:navy;}
@page Section1
{size:612.0pt 792.0pt;
margin:72.0pt 90.0pt 72.0pt 90.0pt;
mso-header-margin:35.4pt;
mso-footer-margin:35.4pt;
mso-paper-source:0;}
div.Section1
{page:Section1;}
-->
</style>
<!--[if gte mso 10]>
<style>
/* Style Definitions */
table.MsoNormalTable
{mso-style-name:"Table Normal";
mso-tstyle-rowband-size:0;
mso-tstyle-colband-size:0;
mso-style-noshow:yes;
mso-style-parent:"";
mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
mso-para-margin:0cm;
mso-para-margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:10.0pt;
font-family:"Times New Roman";}
</style>
<![endif]-->
</head>
<body lang=EN-US link=blue vlink=purple style='tab-interval:36.0pt'>
<div class=Section1>
<p class=MsoNormal><font size=2 face=Arial><span lang=EN-GB style='font-size:
10.0pt;font-family:Arial'>Dear All,<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span lang=EN-GB style='font-size:
10.0pt;font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span lang=EN-GB style='font-size:
10.0pt;font-family:Arial'>For the last year I’ve been working on a
program to translate between Haskell and Java.<span
style='mso-spacerun:yes'> </span>Originally this was for my third year
dissertation to contribute towards my Masters in computer science at </span></font><st1:place><st1:City><font
size=2 face=Arial><span lang=EN-GB style='font-size:10.0pt;font-family:Arial'>Sheffield
University</span></font></st1:City><font size=2 face=Arial><span lang=EN-GB
style='font-size:10.0pt;font-family:Arial'>, </span></font><st1:country-region><font
size=2 face=Arial><span lang=EN-GB style='font-size:10.0pt;font-family:Arial'>UK</span></font></st1:country-region></st1:place><font
size=2 face=Arial><span lang=EN-GB style='font-size:10.0pt;font-family:Arial'>.<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span lang=EN-GB style='font-size:
10.0pt;font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span lang=EN-GB style='font-size:
10.0pt;font-family:Arial'>I have been given the opportunity to continue this
project and have become interested in using the Core representation as an
intermediary language.<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span lang=EN-GB style='font-size:
10.0pt;font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='mso-layout-grid-align:none;text-autospace:none'><font
size=2 face=Arial><span lang=EN-GB style='font-size:10.0pt;font-family:Arial'>I
understand that GHC can produce ‘hcr’ files which are specified in </span></font><font
size=2 face=CMR10><span style='font-size:10.0pt;font-family:CMR10;mso-bidi-font-family:
CMR10;mso-ansi-language:EN-US'>“An external representation for the ghc
core language” 2001 and to this point I have been successful.<o:p></o:p></span></font></p>
<p class=MsoNormal style='mso-layout-grid-align:none;text-autospace:none'><font
size=2 face=CMR10><span style='font-size:10.0pt;font-family:CMR10;mso-bidi-font-family:
CMR10;mso-ansi-language:EN-US'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='mso-layout-grid-align:none;text-autospace:none'><font
size=2 face=CMR10><span style='font-size:10.0pt;font-family:CMR10;mso-bidi-font-family:
CMR10;mso-ansi-language:EN-US'>I have also downloaded the tools for
manipulating Core available from <a
href="http://darcs.haskell.org/ghc/utils/ext-core/">http://darcs.haskell.org/ghc/utils/ext-core/</a>
<o:p></o:p></span></font></p>
<p class=MsoNormal style='mso-layout-grid-align:none;text-autospace:none'><font
size=2 face=CMR10><span style='font-size:10.0pt;font-family:CMR10;mso-bidi-font-family:
CMR10;mso-ansi-language:EN-US'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='mso-layout-grid-align:none;text-autospace:none'><font
size=2 face=CMR10><span style='font-size:10.0pt;font-family:CMR10;mso-bidi-font-family:
CMR10;mso-ansi-language:EN-US'>I’ve tried running Happy on these files
but get the error `Not enough type arguments for the type synonym
“P”’ when I try to run the resultant Parser.hs in Hugs and
similar errors when run in GHC.<o:p></o:p></span></font></p>
<p class=MsoNormal style='mso-layout-grid-align:none;text-autospace:none'><font
size=2 face=CMR10><span style='font-size:10.0pt;font-family:CMR10;mso-bidi-font-family:
CMR10;mso-ansi-language:EN-US'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='mso-layout-grid-align:none;text-autospace:none'><font
size=2 face=CMR10><span style='font-size:10.0pt;font-family:CMR10;mso-bidi-font-family:
CMR10;mso-ansi-language:EN-US'>What I’m trying to achieve is to read the
hcr files into a Haskell data type which I could work with, if anyone could
give me any help with using the files for manipulating Core I would be very
grateful.<o:p></o:p></span></font></p>
<p class=MsoNormal style='mso-layout-grid-align:none;text-autospace:none'><font
size=2 face=CMR10><span style='font-size:10.0pt;font-family:CMR10;mso-bidi-font-family:
CMR10;mso-ansi-language:EN-US'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='mso-layout-grid-align:none;text-autospace:none'><font
size=2 face=CMR10><span style='font-size:10.0pt;font-family:CMR10;mso-bidi-font-family:
CMR10;mso-ansi-language:EN-US'>Many Thanks,<o:p></o:p></span></font></p>
<p class=MsoNormal style='mso-layout-grid-align:none;text-autospace:none'><font
size=2 face=CMR10><span style='font-size:10.0pt;font-family:CMR10;mso-bidi-font-family:
CMR10;mso-ansi-language:EN-US'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='mso-layout-grid-align:none;text-autospace:none'><font
size=2 face=CMR10><span style='font-size:10.0pt;font-family:CMR10;mso-bidi-font-family:
CMR10;mso-ansi-language:EN-US'>Ricky Barefield<o:p></o:p></span></font></p>
<p class=MsoNormal style='mso-layout-grid-align:none;text-autospace:none'><font
size=2 face=CMR10><span style='font-size:10.0pt;font-family:CMR10;mso-bidi-font-family:
CMR10;mso-ansi-language:EN-US'>4<sup>th</sup> Yr Undergraduate<o:p></o:p></span></font></p>
<p class=MsoNormal style='mso-layout-grid-align:none;text-autospace:none'><st1:place><st1:PlaceType><font
size=2 face=CMR10><span style='font-size:10.0pt;font-family:CMR10;mso-bidi-font-family:
CMR10;mso-ansi-language:EN-US'>University</span></font></st1:PlaceType><font
size=2 face=CMR10><span style='font-size:10.0pt;font-family:CMR10;mso-bidi-font-family:
CMR10;mso-ansi-language:EN-US'> of </span></font><st1:PlaceName><font size=2
face=CMR10><span style='font-size:10.0pt;font-family:CMR10;mso-bidi-font-family:
CMR10;mso-ansi-language:EN-US'>Sheffield</span></font></st1:PlaceName></st1:place><font
size=2 face=CMR10><span style='font-size:10.0pt;font-family:CMR10;mso-bidi-font-family:
CMR10;mso-ansi-language:EN-US'><o:p></o:p></span></font></p>
</div>
</body>
</html>