The Helium Logging Facility

Research output: Book/ReportOther report


Helium is a compiler for a subset of Haskell tailored for giving good error messages. To evaluate the quality of these messages, a logging facility was included within the compiler. In this report we describe aspects of how the logging between the compiler implemented in Haskell and a specially built Java server proceeds, described mainly from a technical point of view: what is sent, how is it sent, and some of the safety measures we have taken to avoid misuse and abuse. We also touch on the subject of ethics, and relate our general experiences in using socket communication for the purpose.
Original languageEnglish
PublisherDepartment of Information and Computing Sciences, Utrecht University
Number of pages14
Publication statusPublished - 2005

Publication series

NameTechnical Report Series


Dive into the research topics of 'The Helium Logging Facility'. Together they form a unique fingerprint.

Cite this