adapted changelog + fixed generics bug + added more hash functions for inbuilt types + more HashTable tests

Author: bafto

CHANGELOG.md

@@ -17,6 +17,7 @@ Der Changelog von DDP. Sortiert nach Release.
 - [Neu] Externe generische Funktionen können in C mit generischen Listen und generischen Referenz Parametern arbeiten
 - [Neu] Generische Kombinationen, die Felder beliebigen Typs besitzen können
 - [Neu] Generische Funktionen, die mit Parametern beliebigen Typs arbeiten können
+- [Neu] Die Aliase für Kombinationen sind jetzt optional
 - [Neu] Bei Feldern von Kombinationen kann der explizite Standardwert jetzt weggelassen werden
 
 ## v0.6.0

lib/stdlib/Duden/HashTabelle.ddp

@@ -7,9 +7,39 @@ Binde "Duden/TextBauer" ein.
 Die öffentliche Funktion FNV_Hash mit dem Parameter t vom Typ Text Referenz, gibt eine Zahl zurück,
 ist in "libddpstdlib.a" definiert
 und kann so benutzt werden:
-	"der Hash von <t>" oder
-	"dem Hash von <t>" oder
-	"den Hash von <t>"
+	"der Hash von <t>"
+
+[
+	Gibt den Hash für die Zahl z zurück.
+]
+Die öffentliche Funktion Zahl_Hash mit dem Parameter z vom Typ Zahl, gibt eine Zahl zurück, macht:
+	Gib z zurück.
+Und kann so benutzt werden:
+	"der Hash von <z>"
+
+[
+	Gibt den Hash für die Kommazahl z zurück.
+]
+Die öffentliche Funktion Kommazahl_Hash mit dem Parameter z vom Typ Kommazahl, gibt eine Zahl zurück,
+ist in "libddpstdlib.a" definiert
+Und kann so benutzt werden:
+	"der Hash von <z>"
+
+[
+	Gibt den Hash für den Buchstaben b zurück.
+]
+Die öffentliche Funktion Buchstaben_Hash mit dem Parameter b vom Typ Buchstabe, gibt eine Zahl zurück, macht:
+	Gib b als Zahl zurück.
+Und kann so benutzt werden:
+	"der Hash von <b>"
+
+[
+	Gibt den Hash für den Buchstaben b zurück.
+]
+Die öffentliche Funktion Wahrheitswert_Hash mit dem Parameter w vom Typ Wahrheitswert, gibt eine Zahl zurück, macht:
+	Gib w als Zahl zurück.
+Und kann so benutzt werden:
+	"der Hash von <w>"
 
 [
 	Representiert einen Eintrag in einer HashTabelle.
@@ -85,21 +115,15 @@ Die öffentliche generische Funktion Tabelle_Zu_Text mit dem Parameter tabelle v
 
 		Füge (Schlüssel von (einträge von tabelle an der Stelle i)) an b an.
 	 	Füge ": " an b an.
-		Die Variable v ist Wert von (einträge von tabelle an der Stelle i).
-
-		Wenn v eine Zahl ist, füge (v als Zahl als Text) an b an.
-		Wenn aber v ein Text ist, füge (v als Text) an b an.
-		Wenn aber v eine Kommazahl ist, füge (v als Kommazahl als Text) an b an.
-		Wenn aber v ein Wahrheitswert ist, füge (v als Wahrheitswert als Text) an b an.
-		Wenn aber v ein Buchstabe ist, füge (v als Buchstabe) an b an.
-		Sonst füge "<Unbekannt>" an b an.
+		Der W w ist Wert von (einträge von tabelle an der Stelle i).
+		Füge (w als Text) an b an.
 
 		Wenn i ungleich die Länge von einträge von tabelle ist, füge ", " an b an.
 
 	Gib b als Text zurück.
 Und überlädt den "als" Operator.
 
-Die generische Funktion Finde_Eintrag mit den Parametern tabelle und schlüssel vom Typ S-W-HashTabelle Referenz und Text Referenz, gibt eine Zahl zurück, macht:
+Die generische Funktion Finde_Eintrag mit den Parametern tabelle und schlüssel vom Typ S-W-HashTabelle Referenz und S Referenz, gibt eine Zahl zurück, macht:
 	Die Zahl index ist der Hash von schlüssel modulo der Kapazität von tabelle plus 1.
 	Die Zahl grabstein_index ist -1.
 
@@ -194,9 +218,9 @@ Die öffentliche generische Funktion Tabellen_Wert_Löschen mit den Parametern t
 	Die Zahl eintrag_index ist der Index für schlüssel in tabelle.
 
 	Wenn (einträge von tabelle an der Stelle eintrag_index) leer oder ein Grabstein ist, dann:
-		Gib der Standardwert von einer Variable zurück.
+		Gib der Standardwert von einem W zurück.
 
-	Die Variable wert ist Wert von (einträge von tabelle an der Stelle eintrag_index).
+	Der W wert ist Wert von (einträge von tabelle an der Stelle eintrag_index).
 	Speichere einen Grabstein ((der Standardwert von einem S), (der Standardwert von einem W)) in (einträge von tabelle an der Stelle eintrag_index).
 	Gib wert zurück.
 Und kann so benutzt werden:

lib/stdlib/source/DDP/hash_table.c

@@ -17,3 +17,13 @@ ddpint FNV_Hash(ddpstringref str) {
 
 	return (ddpint)hash;
 }
+
+ddpint Kommazahl_Hash(ddpfloat k) {
+	static_assert(sizeof(ddpint) == sizeof(ddpfloat), "sizeof(ddpint) == sizeof(ddpfloat) must hold true for hashing ddpfloat");
+	union {
+		ddpint i;
+		ddpfloat f;
+	} u = {.f = k};
+
+	return u.i;
+}

src/ddptypes/struct_type.go

@@ -1,6 +1,8 @@
 package ddptypes
 
-import "fmt"
+import (
+	"fmt"
+)
 
 // represents a single field of a struct
 type StructField struct {
@@ -13,7 +15,8 @@ type StructField struct {
 // represents the type of a ddp struct
 type StructType struct {
 	// name of the struct
-	Name string
+	Name       string
+	cachedName *string
 	// grammatical gender of the struct name
 	GramGender GrammaticalGender
 	// fields of the struct
@@ -32,21 +35,26 @@ func (t *StructType) Gender() GrammaticalGender {
 }
 
 func (t *StructType) String() string {
-	return t.Name
-}
+	if t.cachedName != nil {
+		return *t.cachedName
+	}
 
-func (t *StructType) Format(f fmt.State, verb rune) {
-	switch verb {
-	case 's':
-		if t.genericType != nil {
-			for _, typParam := range t.instantiatedWith {
-				fmt.Fprintf(f, "%s-", typParam)
+	name := ""
+	if t.genericType != nil {
+		for _, typParam := range t.instantiatedWith {
+			typParamString := typParam.String()
+			if _, ok := typParam.(*StructType); ok {
+				name += fmt.Sprintf("(%s)-", typParamString)
+			} else {
+				name += fmt.Sprintf("%s-", typParamString)
 			}
 		}
-		fmt.Fprintf(f, "%s", t.String())
-	default:
-		fmt.Fprintf(f, fmt.FormatString(f, verb), t)
 	}
+	name += t.Name
+
+	t.cachedName = &name
+
+	return *t.cachedName
 }
 
 // checks wether two structs are structurally equal, that is

src/parser/typechecker/typechecker.go

@@ -894,7 +894,11 @@ func IsPublicType(typ ddptypes.Type, table ast.SymbolTable) bool {
 	if ddptypes.IsTypeAlias(typ) || ddptypes.IsStruct(typ) {
 		// get the corresponding decl from the current scope
 		// because it contains imported types as well
-		decl, _, _ := table.LookupDecl(typ.String())
+		lookupName := typ.String()
+		if structType, ok := typ.(*ddptypes.StructType); ok {
+			lookupName = structType.Name
+		}
+		decl, _, _ := table.LookupDecl(lookupName)
 		return decl.Public()
 	}
 

tests/testdata/kddp/generics/imports/imports

@@ -14,6 +14,18 @@ Schreibe ("" in t enthalten ist) auf eine Zeile.
 Schreibe ((t an der Stelle "") als Text) auf eine Zeile.
 Schreibe ((den gelöschten Wert für "" in t) als Text) auf eine Zeile.
 
+Die Zahl-Text-HashTabelle zt ist der Standardwert von einer Zahl-Text-HashTabelle.
+Setze den Wert von 0 in zt auf "0".
+Schreibe (0 in zt enthalten ist) auf eine Zeile.
+Schreibe (zt an der Stelle 0) auf eine Zeile.
+Schreibe (den gelöschten Wert für 0 in zt) auf eine Zeile.
+
+Die Kommazahl-Text-HashTabelle kzt ist der Standardwert von einer Kommazahl-Text-HashTabelle.
+Setze den Wert von 1,5 in kzt auf "1,5".
+Schreibe (1,5 in kzt enthalten ist) auf eine Zeile.
+Schreibe (kzt an der Stelle 1,5) auf eine Zeile.
+Schreibe (den gelöschten Wert für 1,5 in kzt) auf eine Zeile.
+
 [ "Fuzz" testing (not really :( ) ]
 Schreibe "fuzz" auf eine Zeile.
 

tests/testdata/stdlib/HashTabelle/HashTabelle.ddp

@@ -2,5 +2,11 @@ simple
 wahr
 leer
 leer
+wahr
+0
+0
+wahr
+1,5
+1,5
 fuzz
 Erfolg