@@ -1238,8 +1238,8 @@ a general listing of the available template holes:
1238
1238
other cases. Valid @\<CONDITION\>@s are @~LENGTH[\<HOLE\>]@, @~SIZE[\<HOLE\>]@,
1239
1239
@~DEPTH[\<HOLE\>]@, @~VIVADO@, @~IW64@, @~ISLIT[N]@, @~ISVAR[N], @~ISGATED[N]@,
1240
1240
@~ISSYNC[N]@, and @~AND[\<HOLE1\>,\<HOLE2\>,..]@.
1241
- * @~VIVADO@: /1/ when CλaSH compiler is invoked with the @-clash -xilinx@ or
1242
- @-clash -vivado@ flag. To be used with in an @~IF .. ~THEN .. ~ElSE .. ~FI@
1241
+ * @~VIVADO@: /1/ when CλaSH compiler is invoked with the @-fclash -xilinx@ or
1242
+ @-fclash -vivado@ flag. To be used with in an @~IF .. ~THEN .. ~ElSE .. ~FI@
1243
1243
statement.
1244
1244
* @~FROMBV[\<HOLE\>][\<TYPE\>]@: create conversion code that so that the
1245
1245
expression in @\<HOLE\>@ is converted to a bit vector (@std_logic_vector@).
@@ -2082,12 +2082,12 @@ Here is a list of Haskell features for which the CλaSH compiler has only
2082
2082
* 'Int8'
2083
2083
* 'Int16'
2084
2084
* 'Int32'
2085
- * 'Int64' (not available when compiling with @-clash -intwidth=32@ on a 64-bit machine)
2085
+ * 'Int64' (not available when compiling with @-fclash -intwidth=32@ on a 64-bit machine)
2086
2086
* 'Word'
2087
2087
* 'Word8'
2088
2088
* 'Word16'
2089
2089
* 'Word32'
2090
- * 'Word64' (not available when compiling with @-clash -intwidth=32@ on a 64-bit machine)
2090
+ * 'Word64' (not available when compiling with @-fclash -intwidth=32@ on a 64-bit machine)
2091
2091
* 'Char'
2092
2092
2093
2093
There are several aspects of which you should take note:
@@ -2100,13 +2100,13 @@ Here is a list of Haskell features for which the CλaSH compiler has only
2100
2100
machine, and the other has a 64-bit machine. In general, you should
2101
2101
be avoiding 'Int' in such cases, but as a band-aid solution, you can
2102
2102
force the CλaSH compiler to use a specific bit-width for `Int` and
2103
- `Word` using the @-clash -intwidth=N@ flag, where /N/ must either be
2103
+ `Word` using the @-fclash -intwidth=N@ flag, where /N/ must either be
2104
2104
/32/ or /64/.
2105
2105
2106
- * When you use the @-clash -intwidth=32@ flag on a /64-bit/ machine,
2106
+ * When you use the @-fclash -intwidth=32@ flag on a /64-bit/ machine,
2107
2107
the 'Word64' and 'Int64' types /cannot/ be translated. This
2108
2108
restriction does /not/ apply to the other three combinations of
2109
- @-clash -intwidth@ flag and machine type.
2109
+ @-fclash -intwidth@ flag and machine type.
2110
2110
2111
2111
* The translation of 'Integer' is not meaning-preserving. 'Integer' in
2112
2112
Haskell is an arbitrary precision integer, something that cannot
@@ -2115,7 +2115,7 @@ Here is a list of Haskell features for which the CλaSH compiler has only
2115
2115
as we do for 'Int' and 'Word'. As you have read in a previous
2116
2116
bullet point, this number of bits is either 32 or 64, depending on
2117
2117
the architecture of the machine the CλaSH compiler is running on, or
2118
- the setting of the @-clash -intwidth@ flag.
2118
+ the setting of the @-fclash -intwidth@ flag.
2119
2119
2120
2120
Consequently, you should use `Integer` with due diligence; be
2121
2121
especially careful when using `fromIntegral` as it does a conversion
0 commit comments