Skip to content

Commit e721480

Browse files
committed
Fix a typo in BH_lang.tex
1 parent 1295e4e commit e721480

File tree

1 file changed

+37
-37
lines changed

1 file changed

+37
-37
lines changed

doc/BH_ref_guide/BH_lang.tex

+37-37
Original file line numberDiff line numberDiff line change
@@ -1338,9 +1338,9 @@ \subsubsection{Deriving \te{Bits}}
13381338
\EBS
13391339
uses one bit. \te{False} is represented by 0 and \te{True} by 1.
13401340
\BBS
1341-
struct Två = \{ första :: Bit 8; andra :: Bit 16 \}
1341+
struct Tv� = \{ f�rsta :: Bit 8; andra :: Bit 16 \}
13421342
\EBS
1343-
uses 24 bits with \te{första} in the upper 8 bits and \te{andra} in the lower 16.
1343+
uses 24 bits with \te{f�rsta} in the upper 8 bits and \te{andra} in the lower 16.
13441344
\BBS
13451345
data Maybe a = Nothing | Just a
13461346
\EBS
@@ -1600,42 +1600,42 @@ \subsubsection*{Infix applications}
16001600
}\\
16011601
\grammore{
16021602
% ISO 8859-1 symbols
1603-
\term{¡}
1604-
%T1 {\alt} \term{¢}
1605-
{\alt} \term{£}
1606-
%T1 {\alt} \term{¤}
1607-
%T1 {\alt} \term{¥}
1608-
%T1 {\alt} \term{¦}
1609-
{\alt} \term{§}
1610-
{\alt} \term{¨}
1611-
{\alt} \term{©}
1612-
{\alt} \term{ª}
1613-
{\alt} \term{«}
1614-
{\alt} $\term{¬}$
1615-
%T1 {\alt} \term{­}
1616-
{\alt} \term{®}
1617-
{\alt} \term{¯}
1618-
{\alt} \term{°}
1619-
{\alt} $\term{±}$
1603+
\term{}
1604+
%T1 {\alt} \term{}
1605+
{\alt} \term{}
1606+
%T1 {\alt} \term{}
1607+
%T1 {\alt} \term{}
1608+
%T1 {\alt} \term{}
1609+
{\alt} \term{}
1610+
{\alt} \term{}
1611+
{\alt} \term{}
1612+
{\alt} \term{}
1613+
{\alt} \term{}
1614+
{\alt} $\term{}$
1615+
%T1 {\alt} \term{}
1616+
{\alt} \term{}
1617+
{\alt} \term{}
1618+
{\alt} \term{}
1619+
{\alt} $\term{}$
16201620
{\alt}
16211621
} \\
16221622
\grammore{
1623-
$\term{²}$
1624-
{\alt} $\term{³}$
1625-
{\alt} \term{´}
1626-
{\alt} $\term{µ}$
1627-
{\alt} \term{}
1628-
{\alt} \term{·}
1629-
{\alt} \term{¸}
1630-
{\alt} $\term{¹}$
1631-
{\alt} \term{º}
1632-
{\alt} \term{»}
1633-
{\alt} \term{¼}
1634-
{\alt} \term{½}
1635-
{\alt} \term{¾}
1636-
{\alt} \term{¿}
1637-
{\alt} $\term{×}$
1638-
{\alt} $\term{÷}$
1623+
$\term{}$
1624+
{\alt} $\term{}$
1625+
{\alt} \term{}
1626+
{\alt} $\term{}$
1627+
{\alt} \term{}
1628+
{\alt} \term{}
1629+
{\alt} \term{}
1630+
{\alt} $\term{}$
1631+
{\alt} \term{}
1632+
{\alt} \term{}
1633+
{\alt} \term{}
1634+
{\alt} \term{}
1635+
{\alt} \term{}
1636+
{\alt} \term{}
1637+
{\alt} $\term{}$
1638+
{\alt} $\term{}$
16391639
}
16401640

16411641
\index{infix operators!predefined}
@@ -1669,7 +1669,7 @@ \subsubsection*{Infix applications}
16691669
\verb"-" & 10 & Left \\
16701670
\verb"*" & 11 & Left \\
16711671
\verb"/" & 11 & Left \\
1672-
\verb"·" & 13 & Right \\
1672+
\verb"" & 13 & Right \\
16731673
user-defined & 15 & Left \\
16741674
\hline
16751675
\end{tabular}
@@ -3055,7 +3055,7 @@ \subsection{{\veri} modules}
30553055
share a port and it will insert a multiplexer accordingly.
30563056

30573057
Following a port name there can be port a property,
3058-
whic is one of the following:
3058+
which is one of the following:
30593059
\begindescrlist{xxxxxxx}
30603060
\litem{\te{reg}}
30613061
specifies that the port is directly connected

0 commit comments

Comments
 (0)