FreitagsrundenWiki - Benutzerbeiträge [de]

Opal für Linux/Unix

2005-11-30T00:55:19Z

80.185.155.55:

Hier gibt es fertige Pakete für die gängigsten Linux-Distributionen und andere Unix-Derivate. Wenn ihr Linux verwenden wollt und falls ihr Linux noch nicht auf eurem Rechner installiert habt, könnt ihr einfach [[Opalix]] verwenden, es liefert euch eine komplette Linuxumgebung, ohne es dauerhaft installieren zu müssen.

Falls ihr eine Distribution einsetzt, die hier nicht aufgeführt ist, und gerne ein Paket kompilieren würdet, euch aber nicht so ganz sicher seid, wie das geht, dann wendet euch an [mailto:opalix@freitagsrunde.org opalix@freitagsrunde.org]. Wir helfen euch gerne!

Allerdings muss man leider auch anmerken, dass der Opal-Buildprozess sehr schlecht organisiert ist. So wird z.B. nicht zwischen Kompilation- und Installationsphase unterschieden und die generierten Scripte unterstützen DESTDIR nicht, was aber eigentlich eine zwingende Voraussetzung für ein vernünftiges Packaging in den Distributionen ist. Diese Probleme machen es nicht einfach, Pakete zu erstellen.

== Linux ==

=== SuSE ===
Das Paket installiert OPAL nach <code>/opt/ocs</code>. Damit ihr <code>oasys</code> und <code>ocs</code> benutzen könnt, müsst ihr die folgende Zeile in die Datei <code>$HOME/.bashrc</code> eintragen:

export PATH=/opt/ocs/bin:$PATH

==== SuSE 10.0 ====
Dies ist die aktuelle Version von Opal.
* RPM für i386: [http://opalix.freitagsrunde.org/rpm/opal-2.3j-1.i386.suse10.0.rpm opal-2.3j-1.i386.suse10.0.rpm] ([http://opalix.freitagsrunde.org/rpm/MD5SUMS Prüfsumme])

==== SuSE 9.3 ====
Leider haben wir für SuSE 9.3 keine fertigen Pakete. Falls Du welche kompilierst, stell sie uns bitte [mailto:opalix@freitagsrunde.org zur Verfügung]!

==== SuSE 9.2 ====
===== 2.3j =====
Dies ist die aktuelle Version von Opal.
* RPM für i586: [http://opalix.freitagsrunde.org/rpm/opal-2.3j-1.i586.suse9.2.rpm opal-2.3j-1.i586.suse9.2.rpm] ([http://opalix.freitagsrunde.org/rpm/MD5SUMS Prüfsumme])

===== 2.3i =====
* RPM für i386: [http://opalix.freitagsrunde.org/rpm/opal-2.3i-1.i386.suse9.2.rpm opal-2.3i-1.i386.suse9.2.rpm] ([http://opalix.freitagsrunde.org/rpm/MD5SUMS Prüfsumme])
* RPM für i586: [http://opalix.freitagsrunde.org/rpm/opal-2.3i-1.i586.suse9.2.rpm opal-2.3i-1.i586.suse9.2.rpm] ([http://opalix.freitagsrunde.org/rpm/MD5SUMS Prüfsumme])

==== SuSE 9.1 ====
Dies ist die aktuelle Version von Opal.
* RPM für i386: [http://opalix.freitagsrunde.org/rpm/opal-2.3j-1.i386.rpm opal-2.3j-1.i386.rpm] ([http://opalix.freitagsrunde.org/rpm/MD5SUMS Prüfsumme])

==== SuSE 9.0 ====
Für SuSE 9.0 haben wir leider nur ein veraltetes Paket (Version 2.3h), da uns kein System mit SuSE 9.0 zum Neukompilieren zur Verfügung steht. Dieser Version fehlt der Bugfix zum Kompilieren mehrerer Signaturen unter Linux, man kann sie also nur für einfache Programme verwenden. Falls jemand noch SuSE 9.0 benutzt, wären wir dankbar, wenn er ein Paket für uns kompilieren würde.
* Paket für i686 (ab P-II, Athlon, etc.): [http://opalix.freitagsrunde.org/rpm/alte_versionen/opal-2.3h-2.i686.suse9.0.rpm opal-2.3h-2.i686.suse9.0.rpm] ([http://opalix.freitagsrunde.org/rpm/alte_versionen/MD5SUMS Prüfsumme])

==== Bekannte Probleme/Lösungen ====

===== C Compiler fehlt =====
'''Symptom''': Ihr erhaltet eine Fehlermeldung, die ungefähr so aussieht:

checking Binom.sign
checking Binom.impl
compiling Binom.impl
/opt/ocs/lib/oasys/ccompiler: line 17: /usr/local/bin/gcc: No such file or directory
/opt/ocs/lib/oasys/ccompiler: line 17: exec: /usr/local/bin/gcc: cannot execute: No such file or directory
ERROR [C compiler]: /opt/ocs/lib/oasys/ccompiler exited abnormally
aborted

Auf einigen neueren Systemen (Ubuntu 5.10, SuSE 10.0) kommt es zu noch nicht genau geklärten Problemen von OCS mit der [[WikiPedia:Gcc|Gnu Compiler Collection (gcc)]]. OCS benötigt den C Compiler und kann ihn nicht finden, so dass es zu diesem Fehler kommt. Wir haben noch nicht herausgefunden, woher der Fehler genau rührt, da er nicht auf allen Systemen reproduzierbar ist, aber es gibt einen Workaround.

'''Lösung/Workaround''': Das Paket gcc installieren. Eventuell muss noch ein Symlink gesetzt werden, damit Opal den Compiler auch findet.
ln -s `which gcc` /usr/local/bin/gcc # als root

=== Fedora ===
Das Paket installiert OPAL nach <code>/opt/ocs</code>, damit ihr an der Shell die Kommandos benutzen könnt, müsst ihr die folgende Zeile in eure <code>.bashrc</code> eintragen:

export PATH=/opt/ocs/bin:$PATH

==== Fedora Core 4 ====

Ein Paket für Fedora Core 4 ist in Vorbereitung.

Ich konnte keine Pakete bauen, da OCS sich nicht an die autoconf-Vorgaben hält. --[[Benutzer:Felix|Felix]] 16:48, 27. Okt 2005 (CEST)

==== Fedora Core 3 ====

Für Fedora Core 3 haben wir dank Christoph Höger ein Package der aktuellen Version 2.3j. Vielen Dank, Christoph!

* RPM für i386: [http://opalix.freitagsrunde.org/rpm/opal-2.3j-1.FC-3.i386.rpm opal-2.3j-1.FC-3.i386.rpm] ([http://opalix.freitagsrunde.org/rpm/MD5SUMS Prüfsumme])

=== Andere RPM-basierte Distributionen ===

* Quellpaket: [http://opalix.freitagsrunde.org/rpm/opal-2.3j-1.src.rpm opal-2.3j-1.src.rpm] ([http://opalix.freitagsrunde.org/rpm/MD5SUMS Prüfsumme])

Wenn Ihr Opal auf einer anderen RPM-basierten Distribution neukompilieren wollt, könnt Ihr das SRPM-Paket benutzen. Einfach an der Shell

rpmbuild --rebuild --target i386 opal-2.3j-1.src.rpm

ausführen. Ihr benötigt dabei die Pakete <code>tcl-devel</code>, <code>tk-devel</code>, <code>xfree86-devel</code>, <code>flex</code> und <code>readline-devel</code>. Wenn ihr neue Pakete baut, wäre es nett, wenn ihr sie hier anderen zur Verfügung stellt. Sagt einfach unter [mailto:opalix@freitagsrunde.org opalix@freitagsrunde.org] Bescheid, wo sie zu finden sind.

Alternativ könnt ihr auch das Paket komplett neu aus den Sourcen erstellen. Dazu benötigt ihr das so genannte spec-file. Falls ihr Fragen habt, wie ihr damit ein Paket kompiliert, wendet euch einfach an [mailto:opalix@freitagsrunde.org opalix@freitagsrunde.org]

* spec file: [http://opalix.freitagsrunde.org/rpm/opal-2.3j-1.spec opal-2.3j-1.spec]

=== Debian ===
Das Paket für Debian enthält die aktuelle Version 2.3j.
Es gibt ein <code>apt-get</code> Repository:
<pre>
deb http://opalix.freitagsrunde.org/debian-rep ./
deb-src http://opalix.freitagsrunde.org/debian-rep ./
</pre>
Das Package heißt ocs und lässt sich mit
<pre>
sudo apt-get install ocs
</pre>
installieren.
Vielen Dank an Marco Ziech für seine Zeit und Mühe, das Paket und Repository zu erstellen!

=== Ubuntu ===
Da es anscheinend Probleme mit den Paketen von Debian unter Ubuntu 5.10 "The Breezy Badger" gibt, wird hier erstmal die Quellcode-Installation beschrieben. Die INstallation muß als root ausgeführt werden.

==== Benötigte Pakete ====
tk8.3-dev, libreadline4-dev, gcc, flex

Paketinstallation:
* xterm oder Konsole öffnen
* Apt-get aufrufen

apt-get install tk8.3-dev
apt-get install libreadline4-dev
apt-get install gcc
apt-get install flex

==== OCS Compilierung ====
Unter
http://uebb.cs.tu-berlin.de/opal/

findet Ihr die Quellen und die Dokumentation.
$VERSION ist die Version des Opalpakets (aktuell dürfte das 2.3j sein).
Wir nehmen mal an Ihr habt sie in Eurem Homeverzeichnis.

* cd ~/
* tar xvjf ocs-$VERSION-src.tar.bz2
* tar xvjf gunzip ocs-$VERSION-doc.tar.bz2
* cd /usr/src
* mv ~/ocs-$VERSION-src ./
* cd ocs
* ./configure
* make install 2>&1 > log
* cd /usr/local
* mv ~/ocs-$VERSION-doc ./
* ln -s /usr/local/ocs-$VERSION /usr/local/ocs

Es kann ein Weilchen dauern, bei mir hat es ungefähr 5-10 Minuten gedauert(Pentium M 1,6 GHz, 512 MB RAM).



FERTIG.

==== Bei Problemen ====
Wenn es Probleme gibt, stellt sicher, dass zur Funktion notwendige Pakete installiert sind, mit folgendem Befehl:
<pre>
apt-get install gcc make libc6-dev tk8.3-dev libreadline4-dev gcc flex
</pre>

=== Gentoo ===
Ebuilds von Opal und der Opal-Dokumentation finden sich unter [http://user.cs.tu-berlin.de/~jensb/opal-ebuilds.tar.bz2].

==== Hinweise zur Installation des Opal-Ebuilds ====
Hierbei muss das Gentoo-System angepasst werden.

Innerhalb von <code>/etc/make.conf</code> ist der Eintrag der <code>PORTDIR_OVERLAY</code>-Variable nötig. Dafür ist ein eigenes Verzeichnis zu erstellen (im Allgemeinen und im Weiteren <code>/usr/local/portage</code>) und der Variable zuzuordnen:
mkdir -m 755 /usr/local/portage
echo 'PORTDIR_OVERLAY="/usr/local/portage"' >> /etc/make.conf

Unterhalb des Verzeichnisses <code>/usr/local/portage</code> das Verzeichnis <code>dev-lang</code> und darin die Verzeichnisse <code>opal</code> und <code>opaldoc</code> anlegen und dann in diese beiden Verzeichnisse die nötigen Ebuilds kopieren:
mkdir -m 755 /usr/local/portage/dev-lang{,/opal,/opaldoc}
cp opal-2.3i.ebuild /usr/local/portage/dev-lang/opal/
cp opaldoc-2.3i.ebuild /usr/local/portage/dev-lang/opaldoc/

Da beide Ebuilds maskiert sind, sind an dieser Stelle eventuell noch weitere Schritte nötig; die Installation maskierter Ebuilds ist hier sehr gut erklärt: [http://de.gentoo-wiki.com/Masked Maskierte Ebuilds].

Jetzt einfach:
emerge opal opaldoc

Um die neue Version von Opal (2.3''j''), die auch mit den neuen binutils klarkommt, zu emergen, sind folgende Schritte nötig:
cd /usr/local/portage/dev-lang/opal/
cp opal-2.3i.ebuild opal-2.3j.ebuild
ebuild opal-2.3j.ebuild digest
emerge opal

== FreeBSD ==
Für all die, die OCS und Opal unter FreeBSD kompilieren wollen, gibt
es eine kurze Anleitung unter: [http://user.cs.tu-berlin.de/~pdmef/opal/freebsd.html]; fertige Packages für 5.3-RELEASE werden bei größerer Nachfrage erstellt.

[[Kategorie:Opal]]

Opal FAQ

2005-11-30T00:52:25Z

80.185.155.55:

Vor noch nicht allzu langer Zeit, an einem nicht allzu weit entfernten Ort wurden einst alle Studis von einer schweren Programmiersprache dahin gerafft...

Aber nein! Nicht alle!

Eine kleine Gruppe unermüdlich lernender Studenten widersetzten sich dem Bösen, wild entschlossen diesem Missstand ein ende zu bereiten, setzten sie sich zusammen und schrien "[[FAQ]]-[[Opal]]" gen Himmel...

Nun ja, mehr spare ich mir hier, auf jeden Fall haben "damals" jede menge Leute in der newsgroup informatik1 gepostet und sehr wertvolle Tips und Tricks zusammengetragen.

Und die will ich hier jetzt noch einmal gesammelt weitergeben, mir hätte es damals geholfen, vielleicht hat ja noch einmal jemand etwas davon.

== Und so beginnt es... ==

In dem Thread: "Krankheitsbild [[Opal]]" wurde angemerkt doch eine [[FAQ]] (Frequently Asked Questions) zu [[Opal]] zusammenzustellen.

Da all diejenigen die [[Opal]] schon kennen dafür nicht geeignet sind oder dies zumindest glauben ;) sollten wir das doch machen. :))

=== WHERE funktioniert nicht mit Lambda-Ausdrücken! ===

Wenn man Lambda mit WHERE kombinieren will muss man den ganzen Body der Funktion klammern

Das geht so:
<pre>
DEF qsolve1 == \\ a, b, c .( /* <--- */
(x1, x2)
WHERE
x1 == (-(b) + d) / (2 * a)
x2 == (-(b) - d) / (2 * a)
d == sqrt((b * b) - (4 * a * c))

) /* <----- */
</pre>

Wichtig ist dabei das nach dem Punkt mit dem der Lambda Ausdruck die Argumentliste abschließt kein Leerzeichen oder irgend etwas anderes ist, sondern gleich die öffnende Klammer kommt, ansonsten tut das nicht!

=== Opal funktioniert nicht mit Zahlen über 32? ===

Wenn man in [[Opal]] direkt Zahlen über 32 eingeben möchte, muß man das so hinschreiben:

<pre>
"zahl"!
</pre>

Wobei 'Zahl' irgendeine Zahl sein kann. Wichtig sind die Anführungszeichen und das Ausrufungszeichen dahinter.

=== Wie gebe ich Zahlen, Denotations (Strings), Sequenzen und einzelne Buchstaben (Chars) direkt in den Interpreter ein? ===

Beispiel:
<pre>
> e FunktionMitVielenArgument("lkajbblsd", "627849"!, 30,"c"!, %(1,23,9,1,8))
</pre>

Erklärung Das erste Argument ist eine Denotation, d.h. einfach ein String.
Die muss man einfach immer in Anführungszeichen setzen. :)

Das zweite ist eine Zahl. Da sie größer als 32 ist muss man sie als String hinschreiben (Anführungszeichen) den man dann mit dem Operator "!" in eine Zahl umwandeln.

Das dritte ist eine kleinere Zahl als 32, daher kann man sie direkt hinschreiben.

Das vierte ist ein Char, also ein einfacher Buchstabe. Da man das nicht direkt eingeben kann übergibt man Opal wieder einen String und wandelt ihn (da er nur einen Buchstaben enthält mit dem "!" in einen Buchstaben um.

Das fünfte ist eine Sequenz, man kann sie direkt in dieser Form
hinschreiben, zu beachten gibt es nur ;) dass man so höchstens 8 Elemente verknüpfen kann. Will man mehr eingeben muss man eben 2 (oder noch mehr) dieser Dinger mit ++ verknüpft hinschreiben.

WICHTIG: Sequenzen in dieser Form hin zuschreiben ist _böse_!!! Vor allem sorgt das für viel Verwirrung und verbirgt den wahren Charakter einer Sequenz!! Siehe dazu auch Beitrag Nummer 4. :)

Bsp: eine seq[nat] könnte man also so schreiben.
<pre>
%(4,3,5,8,2,21,5,5) ++ %(6,"78"!,"269"!,"987"!,"654"!,"321"!)
</pre>

Eine seq[seq[nat]] könnte man dann so schreiben
<pre>
%( %(1,3,2), %(1,2,3))
</pre>

(man beachte die notwendige Umwandlung da die Zahlen zum Teil größer als 32 sind. :))

(!!!) Vorsicht (!!!) man sollte im Normalfall keine Leerzeichen zwischen die Argumente setzen! Das funktioniert zwar meistens, leider aber nicht immer!
(Das gilt natürlich nur für die Kommandozeile, in den Syntax-Files selber sind Leerzeichen ziemlich wurscht. :))

Also nochmal: Vorsicht vor Leerzeichen in Funktionsaufrufen!

Ich hatte schon Fehlermeldungen weil ich in Funktionen nach dem Komma ein Leerzeichen eingebaut hatte.

Bsp: func1("9023"!, "0234"!)

Lässt man das weg, funktionierte (bisher) alles:
<pre>
func1("9023"!,"0234"!)
</pre>

Speziell wenn man Texte in Nummern umwandelt (siehe oben) scheint das zu Problemen zu führen. (Dieses Problem hatte ich selbst bisher nur wenn ich von der Shell (Kommandozeile aus direkt Argumente in eine Funktion füttern wollte. Ansonsten trat es nicht auf. :)

=== Konstruktion von Listen ===
Herzlichen dank für diesen Beitrag an Florian Lorenzen .

> Man kann dann viele aussagekräftige Beispiele mit :: und <>
> angeben (seq, seq[seq], leere seq usw.)

Da ich, wie ich fürchte, mit diesem unsäglichen % angefangen habe -- nicht ahnend welchen didaktischen Flurschaden ich damit anrichten würde -- hier zum Ausgleich einige erklärende Beispiele mit den Listenkonstruktoren.

1. Sei S eine Sequenz aus alphas (FUN S : seq[alpha]).

<pre>
DEF S == a :: b :: c :: d :: <>
</pre>

S ist eine Sequenz aus a, b, c, d und der leeren Liste. Da ::
rechtsassoziativ ist, wird der obige Ausdruck wie folgt aufgelöst:

<pre>
~~~> a :: (b :: (c :: (d :: <>)))
</pre>

Es wird also zunächst eine Liste aus d und <> konstruiert, vor die dann c gehängt wird. Die rekursive Struktur der Liste

<pre>
Liste := Element :: Liste
</pre>

ist deutlich.

<pre>
DEF S == <>
</pre>

S ist eine leere Liste.

2. Sei S eine Sequenz von Sequenzen von alphas (FUN S : seq[seq[alpha]]).

<pre>
DEF S == (a :: b :: c :: <>) :: (d :: e :: <>) :: <>
</pre>

Dieser Ausdruck wird wie folgt aufgelöst:

<pre>
~~~> (a :: b :: c :: <>) :: ((d :: e :: <>) :: <>)
</pre>

Es wird also zuerst eine Liste aus dem (d :: e :: <>) und <> kostruiert, vor die dann das Element (a :: b :: c :: <>) gehängt wird. Das die beiden erwähnten Elemente wiederum Listen sind, ändert nichts daran, wie die äußere Sequenz konstruiert wird.

<pre>
DEF S == (a :: b :: c :: <>) :: <>
</pre>

S ist eine Liste mit gerade genau einem Element, das wiederum eine Liste ist.

<pre>
DEF S == <> :: <> :: <>
</pre>

S ist eine Liste, die aus zwei leeren Listen besteht, nicht aus dreien, wie es zuerst scheint. Dies wird wiederum deutlich, wenn der Ausdruck aufgelöst wird:

<pre>
~~~> <> :: (<> :: <>)
</pre>

In der Klammer wird aus dem Listenelement "<>" durch ":: <>" eine Liste erzeugt, vor die dann das Element "<>" gehängt wird. Daß die beiden Elemente der Liste nun leere Listen (daß es Listen seien müssen, ist sowieso klar) sind, ändert nichts daran, wie die äußere Liste konstruiert wird. Man beachte, daß die enstandene Liste nicht leer ist, daß also aus vielen leeren Listen eine nicht-leere Liste entstehen kann.

Eine Liste aus drei leeren Listen sieht dann dementsprechend folgendermaßen aus:

<pre>
DEF S == <> :: <> :: <> :: <>
</pre>

Eine Liste aus einer leeren Liste so:

<pre>
DEF S == <> :: <>
</pre>

Erst die Definition

<pre>
DEF S == <>
</pre>

erzeugt eine Liste von Listen, die wirklich leer ist.

Programmierpraktisch sollte beachtet werden, daß

<pre>
S == <> :: <> oder S == <> :: <> :: <> :: ...
</pre>

nicht durch <>?(S) oder das Muster f(<>) angefangen werden kann, da S eindeutig nicht leer ist.

=== Häufige Fehlermeldungen ===
Herzlichen Dank für diesen Tip an Alexander W.

ich halte die Idee mit der FAQ-Liste gar nicht mal so schlecht, also werde ich mal was dazusetzen.
Folgende Fehlermeldung ist ziemlich haeufig:

<pre>
Expected ... instead of ....
</pre>

Hier handelt es sich um einen einfachen Syntaxfehler. Falls Ihr meint, alles korrekt geschrieben zu haben, überprueft auch nochmal die Klammerung der Ausdrücke (es muss genausoviele öffnende wie schliessende Klammern geben). Vielleicht ist ja auch nur ein FI vergessen worden...

Eine weitere Fehlermeldung lautet

<pre>
improperly named function definition target or parameter ...
</pre>

In diesem Fall sollte man ueberpruefen, ob die Deklaration der Funktion (FUN ...) fehlt. Vielleicht ist gerade dieser Teil auskommentiert, oder man hat schlicht und einfach vergessen, die Signaturdatei zu speichern. Mir ist letzteres auch schon unterlaufen, d.h. man sucht nach einem Fehler, der eigentlich nicht vorhanden ist...

=== Präfix, Infix und Postfixnotation (oder wie man Minuszeichen hassen lernt. ===

Erhält man solche Fehlermeldungen:

<pre>
ERROR [HOF.impl at 32.5-32.33]: undefined identification
1. <32,5-33> wrongly typed implementation
left: real->real
right: ((nat**nat->nat)->real)->real
2. <32,5-33> wrongly typed implementation
left: real->real
right: ((real**real->real)->real)->real
3. <32,5-33> wrongly typed implementation
left: real->real
right: ((real->real)->real)->real

ERROR [check]: language error
aborted
</pre>

Könnte das etwas mit dem Gebrauch von Minuszeichen zu tun haben. :(

Ich hatte größte Schwierigkeiten den folgenden Code zum Funktionieren zu überreden, Code-Zeilen wie das hier:

<pre>
FUN test : ( real -> real ) -> ( real -> real )
DEF test( r ) == \\ x . r( -x )
</pre>

Funktionieren nicht.

Das Problem ist das der Compiler für das minuszeichen ( r( -x )) zwei Argumente zu erwarten scheint. (Obwohl er das laut Spezifikation nicht müsste)

Die Löung lag für mich darin entweder "0 - x" zu schreiben oder das x in eigene Klammern zu setzen ( x ). Beides funktioniert hier.

Einen änlichen Fehler hatte ich als ich so etwas schreib: " a - b + c "

Ich musste das dann als ( a - ( b + c ) ) schreiben damit es
funktionierte.

Hope it helps!

Hier habe ich noch eine Erklärung von Klaus Didrich bekommen (thx!)

Das Prinzip, dass Funktionen keine Sonderbehandlung erfahren, erstreckt sich auch auf das unäre Minuszeichen. Folgendes geht:

<pre>
-(1) (analog zu "f(1)")
(1-) (analog etwa zu "(5!)")
</pre>

Dein Problem mit "a - b + c" kann ich allerdings nicht nachvollziehen.

Und gleich nochmal etwas, hierfür danke ich Archi Varius.

<pre>
+ ( 0, 1 ) = 0 + 1 = ( 0, 1 ) +

! 5 = 120 = 5 !

- 1 = 1 -
</pre>

Und nochmal. :)) Diesmal herzlichen Dank wieder an Klaus Didrich.

Wird den in [[Opal]], jeder Infixoperator der nur einen Operand bekommt hinter
den Operand geschrieben wird? (Das fände ich ja etwas beschränkt...)

:Es ist viel schlimmer :-) Es ist beides möglich. Du kannst jeden einstelligen Operator auch hinter den Operanden schreiben, dazu brauchst Du keine besondere Deklaration.

:Ob man IF <>?(S) THEN ... oder IF S <>? THEN ... schreibt, macht keinen Unterschied. Eine Mischung aus Postfix- und Infix-Applikationen kann der Compiler leider nicht analysieren, da kommt dann die Meldung "no possible bracketing for infix found". In dem Fall hilft Klammern: (5!) + 3, (S#) > 0

:Auch bei zweistelligen Funktionen kann man es sich aussuchen, ob man die Präfix- oder die Infixschreibweise vorzieht: +(5,3) oder 3 + 5 sind beide erlaubt.

=== Oasys an der Shell herumkomandieren: ===
Herzlichen Dank an Roman Lechtchinsky

Warum funktioniert der Aufruf

<pre>
> e f(\\x. 2 * x, 4)
</pre>

unter oasys nicht?

Das liegt daran, dass Du in oasys fuer jeden Backslash \\ eingeben muss, also

<pre>
> e f(\\\\x. ...)
</pre>

Das hat nichts mit OPAL zu tun, sondern mit der Skript-Sprache (TCL), in der
das Interpreter-Frontend implementiert ist (nehme ich zumindest an).
Anm.: angeblich ist die readline-Bibliothek verantwortlich...

=== Opal und Zugriffsrechte (ext2 versus fat) ===
Herzlichen Dank für diesen Tip an Thomas Brinker!

(Setzt [[Opal]] unter [[Linux]] ein)

[[Opal]]-fehlermeldung:
Operation not permitted

Grund:
Die Dateien liegen nicht in einer ext2-Partition sondern in einer
FAT-Partition. (in FAT geht das mit den Zugriffsrechten nicht so gut)

Abhilfe:
Dateien in ext2 Partition umkopieren

=== Fehlermeldungen und was man daraus erkennen kann ===

Bei einem ansonsten korrekten Programm hat mich diese Fehlermeldung vorhin eine laaange Fehlerjagt gekostet...

<pre>
Person.impl>e Birthday(date(30,12,"79"!)
ERROR [at 1.3-1.4]: Expected was `)' instead of `IN'
ERROR [check]: language error
aborted
</pre>

In diesem Fall hatte ich auf der Eingebe-Zeile im Interpreter eine schließende Klammer vergessen. :))

Man kann diese Fehler recht leicht erkennen. Sie finden immer auf Zeile _1_ Statt. Das ist die Eingabe-Zeile in der Shell. :))
(" ERROR [at 1.3-1.4]:")

=== Opal-Quelltexte mit TeX/LaTeX setzen ===

[[WikiPedia:TeX|TeX]]/[[WikiPedia:LaTeX|LaTeX]] ist ein sehr mächtiges Textsatzsystem, das für kleinere Dokumente über Diplomarbeiten bis hin zu kompletten Büchern verwendet werden kann.

Da liegt es nahe, einfach auch Hausaufgaben optisch ansprechend in hoher Qualität damit setzen zu lassen.

Für das Setzen von Quellcodes gibt es u.a. das Listings-Package für TeX/LaTeX. Doch weil die Einarbeitung etwas Zeit braucht, gibt es unter [http://user.cs.tu-berlin.de/~pdmef/opal/inf-latex.pdf] eine kurze Anleitung mit allem, was man so braucht, um schnell zu guten Ergebnissen zu kommen.

=== Syntax Highlighting ===

Um den Opal-Modus von Emacs verfügbar zu machen, füge man folgende Zeilen in die Datei ~/.emacs ein:

<pre>
(setq load-path
(cons "/home/uebb/uebb/infadm/emacs" load-path)
)
(defvar opal-novice t)
(require 'opal-mode)
</pre>

Die Pfadangabe /home/uebb... bezieht sich auf das Fakultätsnetz. Den Opal-Modus startet man in Emacs mittels "M-x opal-mode [enter]".
M-x bedeutet: Meta-Taste und x gleichzeitig drücken, wobei Esc gefolgt von x die selbe Wirkung hat.

Für Syntax-Highlighting im [http://vim.org VIM] kopiert euch die Datei [[opal.vim]] in das home-Verzeichnis und fügt (ebenfalls im home-verzeichnis) in der <code>.vimrc</code> folgende 4 Zeilen an:

<pre>
au BufRead,BufNewFile *.impl set filetype=opal
au BufRead,BufNewFile *.sign set filetype=opal
syntax on
au! Syntax opal source ~/opal.vim
</pre>

[[Kategorie: Opal]]