XCL-Projekt darauf abzielt f, Entwickler mit Werkzeugen für das programmatische Handhaben des vollziehbaren Codes zu versehen und kombiniert einfaches Erzeugung und Handhabung mit Ausführungdrehzahl und Speicher-Leistungsfähigkeit am Ablauf.

cpphs ist eine liberalisierte Re-umsetzung von cpp, der c-Präprozessor, in Haskell.

Warum Re-werkzeug cpp? Mit Recht oder falsch, ist der c-Präprozessor im Haskell Quellencode am meisten benutzt. Er aktiviert bedingte Kompilation für verschiedene Compiler, verschiedene Versionen des gleichen Compilers und verschiedene OS-Plattformen.

Er auch verwendet gelegentlich für seine Makrosprache, die bestimmte Formulare des platform-specific Detail-Füllens, wie das langwierige Satzerzeugung der Falldefinitionen und DER FFI Anmeldungen aktivieren kann. Jedoch gibt es zwei Probleme mit cpp, neben den offensichtlichen ästhetischen:

* Für einige Haskell Systeme umarmt vornehmlich auf Windows, ein zutreffendes cpp ist nicht erhältlich durch Zahlungseinstellung. * Sogar für die anderen Haskell Systeme, ändert das geläufige cpp, das von der Serie GCC-3.x bereitgestellt, subtil auf Arten, die mit Haskells Syntax inkompatibel sind. Es gegeben immer Probleme mit, zum Beispiel, Zeichenketteabstände und Hauptzeichen in den Kennungen. Diese Probleme werden nur falscher erhalten.

So schien es recht, eine Alternative zum cpp, beide, die mit Haskell kompatibler sind, und selbst zu versehen geschrieben in Haskell, damit es mit Compilern verteilt werden kann.

Diese Version des c-Präprozessors ist hübsch-viel Merkmal-komplettes, und kompatibel mit der - traditionellen Art. Sie hat zwei Hauptbetriebsarten:

* nur bedingte Kompilation (--nomacro),
* und volle Makroumwandlung (Zahlungseinstellung).

In --nomacro Betriebsart, cpphs durchführt nur Maßnahmen der bedingten Kompilation gten, aufbereitet nämlich #includes, #ifs und #ifdefs entsprechend Textabwechslung Definitionen (Befehlleitung und internes), aber keine parameterisierte Makroumwandlung durchgeführt hrt. In der vollen Kompatibilitätsbetriebsart (die Zahlungseinstellung), aufbereitet Textabwechslungen und Makroumwandlungen auch in der restlichen Karosserie des non-cpp Textes en.

Arbeitsmerkmale:

#ifdef einfache bedingte Kompilation
#if die volle Boolesche Sprache von definiert (), &&, ||, ==, usw.
#elif geverkettete conditionals
#define Inline-Definitionen (Textabwechslungen und -makro)
#undef Inline-Rücknahme von Definitionen
#include Dateieinbeziehung
#line Leitung Zahlrichtlinien

Leitung Fortsetzungen innerhalb aller # Richtlinien
/**/Scheinverkettung innerhalb einer Makrodefinition
## ANSI-Art Zeichenverkettung
# ANSI-Art Zeichen stringisation
__FILE spezielle Textabwechslung für DIY Fehlermeldungen
__LINE spezielle Textabwechslung für DIY Fehlermeldungen
__DATE spezielle Textabwechslung
__TIME spezielle Textabwechslung

Makroumwandlung ist rekursiv. Neudefinition eines Makronamens festlegt nicht einen Vorsichtshinweis gt. Makro können auf der Befehlleitung mit - D gerade wie Textabwechslungen definiert werden. Makronamen die Erlaubnis gehabt, Haskell Kennungen z.B. mit den höchste Vollkommenheit und backtick `Zeichen zu sein, die etwas loser als in C ist, aber sie können Bedienersymbole noch möglicherweise nicht umfassen.

Numerierung der Leitungen im Ausgang konserviert, damit jeder neuere Prozessor aussagefähige Fehlermeldungen geben kann. Wenn eine Datei #included, einsteckt cpphs #line Richtlinien aus dem selben Grund 0_. Numerierung sollte sogar in Anwesenheit der Leitung Fortsetzungen korrekt sein. Wenn Sie nicht #line Richtlinien im abschließenden Ausgang wünschen, verwenden --noline Option.

Alle mögliche Syntaxfehler in den cpp Richtlinien gibt eine Meldung zum stderr und einstellt das Programm t. Störung, eine #included Datei zu finden produziert einen Vorsichtshinweis zum stderr, aber das Aufbereiten fortfährt hrt.

Unterschiede vom cpp:

Im allgemeinen basiert cpphs auf dem - traditionellen Verhalten, nicht ANSI C und hat die folgenden Hauptunterschiede vom Standardcpp.

Allgemein

· #, das einführt, muß jede mögliche cpp Richtlinie in der ersten Säule einer Leitung sein (während ANSI whitespace vor # ermöglicht).
· Festlegt die #line N „Dateiname“ Syntax ", nicht # N-„Dateiname“ Variante.
· C-Kommentar entfernt nur innerhalb von den cpp Richtlinien. Er entfernt nicht von anderem Text. Betrachten, zum Beispiel dass in Haskell, alles Folgen gültige Bedienersymbole sind: /* * */* jedoch, können Sie einschalten C-kommentieren Ausbau mit --Streifenoption.
· Makro erweitert nie innerhalb des Haskell Kommentars, der Zeichenketten oder der Zeichenkonstanten, es sei denn Sie geben --Textoption, zum Lexing den Input als Haskell abzuschalten.
· Makro erweitert immer rekursiv, anders als ANSI, das Selbst-rekursion aufspürt und verhindert. Zum Beispiel #define foo x: foo erweitert foo einmal nur zu x: foo in ANSI, aber in den cpphs wird es eine endlose Liste x: x: x: x: …, abbricht d.h. cpphs nicht t.

Makrodefinitionsprache

· Annimmt n,/**/für das Zeichen-Kleben in einer Makrodefinition. Jedoch/* * (mit irgendeinem Text zwischen dem geöffneten/engen Kommentar) einsteckt whitespace kt.
· Der ANSI ## Zeichen-klebende Bediener ist mit erhältlich --hackt Markierungsfahne. Dieses ist jeden, gültigen Haskell Bediener des gleichen Namens fehlzuinterpretieren zu vermeiden.
· Ersetzt einen makro Formalparameter durch das tatsächliche, sogar innerhalb einer Zeichenkette (doppeltes oder einfaches veranschlagen). Dieses ist - das traditionelle Verhalten, unterstützt nicht in ANSI.
· Erkennt # stringisation Bediener in einer Makrodefinition, nur wenn Sie verwenden --hackt Option. (Es ist ein ANSI-Zusatz, nur erforderlich, weil veranschlagenes stringisation (oben) durch ANSI. verboten)
· Konserviert whitespace innerhalb einer Textabwechslungsdefinition genau (Moduloneue zeilen), aber führend und abschließendes Zwischenraumzeichen beseitigt.
· Konserven whitespace innerhalb einer Makrodefinition (und des Schleppens sie) genau (Moduloneue zeilen), aber führender Platz beseitigt.
· Konserviert whitespace innerhalb der Makroaufrufargumente genau (einschließlich neue Zeilen), aber führend und abschließendes Zwischenraumzeichen beseitigt.
· Mit --Layoutoption, Leitung Fortsetzungen in einer Textabwechslung oder Makrodefinition konserviert wie Leitung-bricht im Makroaufruf. (Nützlich für Layout-empfindlichen Code in Haskell.)

Was in diesem Auslösen neu ist:

· Dieses Auslösen umfaßt jetzt einen Kompatibilitätsindex für Befehlszeile Argumente, um das ursprüngliche cpp abzugleichen.
· Es gibt einige geringe bugfixes, z.B. veranschlägt um Abwechslungen für spezielle Makro wie __FILE, usw.
· Interaktion mit Präprozessoren wie hsc2hs verbessert auch: wenn sie non-cpp Richtlinien erlauben, wie #def, diese jetzt durch zum Ausgang mit einem Vorsichtshinweis zum stderr geführt, eher als, anhalten mit einem Fehler.
· Ebenso a #! Leitung in einem Shell-Skript ignoriert jetzt.