CReg Initialisierung

999
Windoof-User
Windoof-User
Beiträge: 27
Registriert: 24. Okt 2016 18:21

CReg Initialisierung

Beitrag von 999 »

Hallo,
in der Vorlesung wurde das Modul mkCReg so vorgestellt
Bild

allerdings in einem Beispiel dann so initialisiert

Code: Alles auswählen

Int#(4) ctr[2] <- mkCReg(2, 0);
Müsste es laut dem Modul nicht heißen

Code: Alles auswählen

Reg#(Int#(4)) ctr[2] <- mkCReg(2, 0);
oder handelt es sich hierbei um eine implizite "Typkonvertierung"?

JHofmann
Endlosschleifenbastler
Endlosschleifenbastler
Beiträge: 182
Registriert: 23. Apr 2015 10:43

Re: CReg Initialisierung

Beitrag von JHofmann »

Hallo,

Code: Alles auswählen

Reg#(Int#(4)) ctr[2] <- mkCReg(2, 0);
ist korrekt, bei der anderen Variante sollte sich der Compiler beschweren.

Viele Grüße,

Roey
Mausschubser
Mausschubser
Beiträge: 54
Registriert: 29. Apr 2015 16:20

Re: CReg Initialisierung

Beitrag von Roey »

Dann hat das Skript (bsv Folie 103 einen Fehler)

999
Windoof-User
Windoof-User
Beiträge: 27
Registriert: 24. Okt 2016 18:21

Re: CReg Initialisierung

Beitrag von 999 »

Roey hat geschrieben:Dann hat das Skript (bsv Folie 103 einen Fehler)
Auch auf 105, 115, 116

JHofmann
Endlosschleifenbastler
Endlosschleifenbastler
Beiträge: 182
Registriert: 23. Apr 2015 10:43

Re: CReg Initialisierung

Beitrag von JHofmann »

Danke für die Hinweise, wird korrigiert.

Viele Grüße,

Antworten

Zurück zu „Archiv“