curry-base issueshttps://git.ps.informatik.uni-kiel.de/curry/curry-base/-/issues2020-11-12T16:01:59Zhttps://git.ps.informatik.uni-kiel.de/curry/curry-base/-/issues/18Mark as deprecated2020-11-12T16:01:59ZFredrik WieczerkowskiMark as deprecatedThis package has been merged into the curry-frontend (with curry-frontend!34) and is now redundant.This package has been merged into the curry-frontend (with curry-frontend!34) and is now redundant.https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/issues/16Check the order in which source files should be searched for2019-10-28T10:30:39ZKai ProttCheck the order in which source files should be searched forIn `Curry.Files.Filenames`In `Curry.Files.Filenames`https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/issues/15Remove and rename functions in `Curry.Base.Span`2019-10-28T10:29:36ZKai ProttRemove and rename functions in `Curry.Base.Span`https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/issues/14Check why arguments of rules are not checked for (interface) equivalence2019-10-28T10:28:12ZKai ProttCheck why arguments of rules are not checked for (interface) equivalencehttps://git.ps.informatik.uni-kiel.de/curry/curry-base/-/issues/13Improve documentation2019-10-28T10:27:21ZKai ProttImprove documentationIn
* [ ] `Curry.CondCompile.Parser`
* [ ] `Curry.CondCompile.Transformation`
* [ ] `Curry.ComdCompile.Type`
* [ ] `Curry.FlatCurry.Annotated.Type`
* [ ] `Curry.Syntax.Lexer`In
* [ ] `Curry.CondCompile.Parser`
* [ ] `Curry.CondCompile.Transformation`
* [ ] `Curry.ComdCompile.Type`
* [ ] `Curry.FlatCurry.Annotated.Type`
* [ ] `Curry.Syntax.Lexer`https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/issues/12Remove existential quantified type variables from AbstractCurry2019-10-28T10:25:21ZJan-Hendrik MatthesRemove existential quantified type variables from AbstractCurryThe variables are removed with merge request !11, but we decided later to add them back to not break existing tools and packages. In the future this should be removed again.The variables are removed with merge request !11, but we decided later to add them back to not break existing tools and packages. In the future this should be removed again.https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/issues/11Represent curly brackets in Curry AST2020-09-27T18:16:01ZFinn TeegenRepresent curly brackets in Curry ASThttps://git.ps.informatik.uni-kiel.de/curry/curry-base/-/issues/6Cabal-Testfälle2017-12-01T12:14:00ZFinn TeegenCabal-TestfälleDas Haskell-Paketsystem [Cabal](http://www.haskell.org/cabal/) bietet die Möglichkeit, automatische Testfälle für Pakete mittels ```cabal test``` auszuführen.
Es wäre sinnvoll, für ausgewählte Funktionen Testfälle anzugeben sowie Testfä...Das Haskell-Paketsystem [Cabal](http://www.haskell.org/cabal/) bietet die Möglichkeit, automatische Testfälle für Pakete mittels ```cabal test``` auszuführen.
Es wäre sinnvoll, für ausgewählte Funktionen Testfälle anzugeben sowie Testfälle für "Syntaxschnipsel", bei denen der Lexer/Parser fehlschlagen/erfolgreich sein sollen.https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/issues/5Multiline-Strings mit Offside-Rule2017-12-01T12:14:00ZFinn TeegenMultiline-Strings mit Offside-RuleDie Angabe langer Strings, wie zum Beispiel bei Programminformationen, ist oftmals umständlich:
<pre>
string = "Dies ist ein langer String "
++ "der über mehrere Zeilen "
++ "geht."
</pre>
<pre>
string2 = "Dies ist ein lan...Die Angabe langer Strings, wie zum Beispiel bei Programminformationen, ist oftmals umständlich:
<pre>
string = "Dies ist ein langer String "
++ "der über mehrere Zeilen "
++ "geht."
</pre>
<pre>
string2 = "Dies ist ein langer String \
\der über mehrere Zeilen \
\geht."
</pre>
Dies soll mit Multiline-String wie folgt aussehen:
<pre>
multiline = """
Der Beginn dieser Spalte
definiert den Start des Strings,
damit man schön einrücken kann
und trotzdem nicht so viele Leerzeichen auftauchen.
"""
</pre>
Hier sind sicherlich noch einige Details zu spezifizieren, dafür stehen Fabian und Björn als Syntaxberater bereit.https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/issues/4Top-Level-Deklarationen und lokale Deklaration in Curry AST trennen2017-12-01T12:14:00ZFinn TeegenTop-Level-Deklarationen und lokale Deklaration in Curry AST trennenIn der Definition des Curry-AST in `Curry.Syntax.Type` wird nicht zwischen Top-Level- und lokalen Deklarationen unterschieden. Dadurch müssen im Frontend oftmals einige Fälle überprüft werden, die gar nicht auftreten können, z.B. Datenty...In der Definition des Curry-AST in `Curry.Syntax.Type` wird nicht zwischen Top-Level- und lokalen Deklarationen unterschieden. Dadurch müssen im Frontend oftmals einige Fälle überprüft werden, die gar nicht auftreten können, z.B. Datentypdeklarationen innerhalb eines `where`-Blocks.
Es ist daher sinnvoll, eine Unterschiedung zwischen `TopDecl` und `Decl` einzuführen, wie auch der MCC sie hat.
Zu beachten ist dabei, dass dann natürlich auch curry-frontend angepasst werden muss.