diff --git a/src/Libraries/Base1/PreludeBSV.bsv b/src/Libraries/Base1/PreludeBSV.bsv index 22e12f12..f648d593 100644 --- a/src/Libraries/Base1/PreludeBSV.bsv +++ b/src/Libraries/Base1/PreludeBSV.bsv @@ -1112,7 +1112,7 @@ endfunction: lcm // ========================= -// Alias and NumAlias +// Alias, NumAlias and StrAlias typeclass Alias#(type a, type b) dependencies (a determines b, @@ -1130,6 +1130,14 @@ endtypeclass instance NumAlias#(a,a); endinstance +typeclass StrAlias#(string type a, string type b) + dependencies (a determines b, + b determines a); +endtypeclass + +instance StrAlias#(a,a); +endinstance + // ========================= // Saturation Modes