Unable to use method argument in `when` guard #4

New issue

Open

opened 2025-03-23 12:14:53 +00:00 by Yehowshua · 0 comments

Yehowshua commented

2025-03-23 12:14:53 +00:00

Owner

Un-commenting the commented-out lines in the snippet below...

             retireTag :: UIntLog2N(numTags) -> Action
             retireTag tag =
                 do
                     let nextStackPtrUint =
                             case stackPtr of
                                 Nothing -> 0
                                 Just n -> n + 1
                     (select inUseVec tag) := False
                     (select freeStackVec nextStackPtrUint) := tag
                     stackPtr := Just nextStackPtrUint
                 -- when
                 --     tag < (reifiedNumTags - 1),
                 --     readReg (select inUseVec tag)

causes compilation to fail with:

$TOPMODULE=mkSim make b_compile b_link b_sim
mkdir  -p build_b_sim
Compiling for Bluesim ...
bsc -u -sim -simdir build_b_sim -bdir build_b_sim -info-dir build_b_sim -keep-fires -aggressive-conditions -no-warn-action-shadowing -check-assert -cpp -show-schedule +RTS -K128M -RTS  -show-range-conflict      -p bs/:bsv/:+ -g mkSim  bs/Top.bs 
checking package dependencies

<snipped>

5 warnings generated.
compiling bs//TagEngine.bs
Warning: "bs//TagEngine.bs", line 43, column 8: (P0223)
  Definition of `counter' is not used.
Error: "bs//TagEngine.bs", line 70, column 20: (T0004)
  Unbound variable `tag'
make: *** [Makefile:103: b_compile] Error 1

Un-commenting the commented-out lines in the snippet below... https://git.joyofhardware.com/ReferenceProjects/riscv-bluespec-classic/src/commit/e6b002f70e76050eb60a6176f63a9a242306b6d8/bs/TagEngine.bs#L59-L71 causes compilation to fail with: ```bash $TOPMODULE=mkSim make b_compile b_link b_sim mkdir -p build_b_sim Compiling for Bluesim ... bsc -u -sim -simdir build_b_sim -bdir build_b_sim -info-dir build_b_sim -keep-fires -aggressive-conditions -no-warn-action-shadowing -check-assert -cpp -show-schedule +RTS -K128M -RTS -show-range-conflict -p bs/:bsv/:+ -g mkSim bs/Top.bs checking package dependencies <snipped> 5 warnings generated. compiling bs//TagEngine.bs Warning: "bs//TagEngine.bs", line 43, column 8: (P0223) Definition of `counter' is not used. Error: "bs//TagEngine.bs", line 70, column 20: (T0004) Unbound variable `tag' make: *** [Makefile:103: b_compile] Error 1 ```

Yehowshua changed title from ~~Unable to use method argument in when guard~~ to Unable to use method argument in `when` guard

2025-03-23 12:16:53 +00:00

No labels

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: ReferenceProjects/riscv-bluespec-classic#4

No description provided.

Unable to use method argument in when guard #4

Unable to use method argument in `when` guard #4