Commits

Even Wiik Thomassen committed 8fe3317

More external core work.

  • Participants
  • Parent commits c273e71

Comments (0)

Files changed (2)

 	note = "[Online; accessed 07-12-2012]"
 }
 
+@misc{extcore,
+	author = {Jones, Simon Peyton and Fischer, James},
+	title = {{Haskell Bug Tracker: Ticket #5844 - Panic on generating Core code}},
+	howpublished = "\url{http://hackage.haskell.org/trac/ghc/ticket/5844}",
+	year = {2012},
+	note = "[Online; accessed 11-12-2012]"
+}
+
+%@misc{extcore2,
+%	author = {The GHC Team},
+%	title = {{Haskell Wiki: The ExternalCore type}},
+%	howpublished = "\url{http://hackage.haskell.org/trac/ghc/wiki/ExternalCore}",
+%	year = {2012},
+%	note = "[Online; accessed 11-12-2012]"
+%}
+
 @inproceedings{weirich,
     author = {Weirich, Stephanie and Vytiniotis, Dimitrios and Peyton Jones, Simon and Zdancewic, Steve},
     title = {{Generative Type Abstraction and Type-Level Computation}},
 \gls{ghc} the flag \mycode{-fext-core}. \gls{ghc} also supports parsing
 external core back into Core, and there is a Haskell package for parsing
 and working with external core called \textit{extcore}\footnote{External core
-parser package extcore: http://hackage.haskell.org/package/extcore}.
+parser package extcore: \url{http://hackage.haskell.org/package/extcore}}.
 
 PyHaskell takes Haskell code converted to external core as input, which it
 then converts to a \gls{json} representation before it parses and evaluates
 sync with Core.
 
 \citet{eisenberg} have presented a formal definition of Core/\sysfp for the
-latest \gls{ghc} version, 7.6, while \citet{tolmach} describe a precise
-definition of external core that was last updated for \gls{ghc} version 6.10.
+latest \gls{ghc} version, 7.6. \citet{tolmach} describe a precise definition
+of external core that was last updated for \gls{ghc} version 6.10.
 The time period between these two versions are about four years. In these four
 years core has seen significant work, while external core has not.
 
 TODO: Describe what doesn't work, and some of the issues this creates.
 
-%http://hackage.haskell.org/trac/ghc/wiki/ExternalCore
-%getting External Core and Core back in sync
+TODO: Not only external core but also extcore package.
 
 
 \section{Improvements and solutions}
 %-----------------------------------
+TODO: Some improvements, such as Integer literals.
+%I think in fact it's the new Integer literals, not type-level literals, causing the reported problem here.
+
+\citet{extcore} describes how to.
+% extcore2, http://hackage.haskell.org/trac/ghc/wiki/ExternalCore
+% extcore http://hackage.haskell.org/trac/ghc/ticket/5844
+%getting External Core and Core back in sync
+
 
 \subsection{GHC API}
 Why not GHC API.