=============================================================================== == == Münster-Curry-Compiler == Distribution zur Anwendung als Frontend in PAKCS == == Letztes Update: 27.10.05 Diese Distribution enthält die modifizierte Version des Münster-Curry-Compilers (MCC) für die Verwendung als Frontend in PAKCS. Dieses System ist u.a. in der Lage aus Curry-Programmen (entwickelt nach PAKCS-Standard) Flat-Darstellungen (FlatCurry ".fcy", FlatInterface ".fint" und FlatXML "_flat.xml"), sowie Abstract-Darstellungen (AbstractCurry ".acy" und untyped AbstractCurry ".uacy") zu generieren. 1. Installation --------------- 1.1 Installation der Binary-Distribution Die Binary-Distribution befindet sich in einem tar-Archiv und wird durch folgendes Kommando entpackt: tar zxvf .tar.gz Danach steht der Compiler im Verzeichnis 'mcc' zur Verfügung. 1.2 Installation der Source-Distribution Nach dem Entpacken des tar-Archivs mittels tar zxvf .tar.gz kann der Compiler durch Aufruf von 'make' im Verzeichnis 'mcc' installiert werden. Bei Recompilierung (z.B. nach Änderungen in der Quelldateien) wird empfohlen vor einer erneuten Installation 'make clean' auszuführen. Nach erfolgreicher Installation befindet sich in beiden Fällen im Verzeichnis 'mcc/bin/' folgende ausführbare Datei: cymake - der Curry-Programm-Builder Dieses Tool übersetzt Curry-Programme unter Berücksichtigung der Import- abhängigkeiten. 2. Kommandoübersicht -------------------- In der folgenden Tabelle sind die Optionen zur Generierung der jeweiligen Darstellungen für das Kommando 'cymake' aufgelistet: --flat : Erzeugt FlatCurry- und FlatInterface-Datei --xml : Erzeugt FlatXML-Datei --acy : Erzeugt (typinferierte) AbstractCurry-Datei --uacy : Erzeugt ungetypte AbstractCurry-Datei 3. Erzeugung von FlatCurry- und FlatXML-Programmen -------------------------------------------------- Die Übersetzung eines Curry-Programms 'file.curry', sowie sämtlicher importierter Module nach FlatCurry bzw. FlatInterface, bewirkt folgendes Kommando: cymake --flat Hierdurch werden die Dateien mit den entsprechenden Endungen ".fcy" und ".fint" generiert. Der Dateiname kann hierbei mit oder ohne Endung ".curry" bzw. ".lcurry" angegeben werden. Die analogen Übersetzungen in die FlatXML-Darstellung bewirkt folgendes Kommando: cymake --xml Die hierdurch generierte Flat-XML-Datei hat die Endung '_flat.xml'. 4. Erzeugung von AbstractCurry-Programmen ----------------------------------------- Die Übersetzung eines Curry-Programms 'file.curry' nach (typgeprüftem) AbstractCurry bewirkt folgendes Kommando: cymake --acy Hierdurch wird die entsprechende Datei (mit der Endung ".acy") generiert. Der Dateiname kann hierbei mit oder ohne Endung ".curry" bzw. ".lcurry" angegeben werden. Ungetypte, bzw. typsignierte AbstractCurry-Programme werden mit folgendem Kommando generiert: cymake --uacy Die hierdurch generierte Datei besitzt die Endung ".uacy". Die Generierung des ungetypten AbstractCurry-Programms findet ohne Typüberprüfung statt (d.h. auch Programme mit Typfehlern werden übersetzt). Alle Funktionen besitzen entweder die im Quellprogramm angegebenen Typsignatur, oder, sofern diese nicht vorhanden ist, den Dummy-Typ "prelude.untyped". In beiden Fällen werden für die Übersetzung FlatCurry-Dateien für alle importierten Module erzeugt. Dies ist notwendig, da die entsprechenden Interfaces für die Typinferenz (nur im Fall der getypten AbstractCurry-Generierung) und die statisch-semantische Analyse benötigt werden. 5. Anmerkungen -------------- - Um die PAKCS-Bibliotheken (insbesondere die Prelude) für Übersetzungen nutzen zu können muß die Umgebungsvariable 'PAKCS_LIB' auf die entsprechenden Pfade verweisen, z.B. mittels export PAKCS_LIB=/pacs/lib:/pacs/lib/meta:... wobei das Verzeichnis ist, das die PAKCS-Distribution enthält. - Im Gegensatz zu PAKCS erlaubt das Frontend die Verwendung anonymer Variablen (dargestellt durch dem Unterstrich '_') in Typdeklarationen, z.B. data T _ = C Bekannte Probleme ------------------ - Lambda-, do-, if-, case-, oder let-Ausdrücke, die in Argumenten von Funktionsaufrufen verwendet werden, müssen immer geklammert werden. - 'let'-Anweisungen dürfen nicht folgendes Layout besitzen: let x = in ... - Die Regeln einer Funktionsdeklaration müssen immer zusammenstehen, d.h. nicht durch andere Deklarationen unterbrochen werden. - Es ist bislang nicht möglich, den Konstruktor für leere Listen [], sowie den Unit-Konstruktor () zu qualifizieren (z.B. führt 'prelude.[]' zu einem Fehler). Der Listenkonstruktor (:), sowie Tupel-Konstruktoren dagegen sind qualifizierbar. - FlatXML-Übersetzungen können derzeit mittels der Funktionen aus dem PAKCS-Modul "FlatXML" noch nicht eingelesen werden, da es Unstimmigkeiten zwischen dem generierten und den erforderlichen Formaten gibt. - Bei der Erzeugung von typgeprüftem AbstractCurry können die im Quelltext verwendeten Bezeichner für Typvariablen nicht ins AbstractCurry-Programm übernommen werden. Stattdessen generiert der Übersetzer neue Bezeichner. - Bei der Erzeugung von ungetyptem AbstractCurry werden Typsynonyme in Typsignaturen von Funktionen nicht dereferenziert. - Das Frontend gibt derzeit noch keinerlei Warnungen aus.