Commits

Even Wiik Thomassen committed ca57064

Bug

Comments (0)

Files changed (2)

 	note = "[Online; accessed 07-12-2012]"
 }
 
+% extcore2? howpublished = "\url{http://hackage.haskell.org/trac/ghc/wiki/ExternalCore}",
 @misc{extcore,
 	author = {Jones, Simon Peyton and Fischer, James},
-	title = {{Haskell Bug Tracker: Ticket #5844 - Panic on generating Core code}},
+	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}},
 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.
+\citet{extcore} describe 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