B-Lang-org/bsc

bsc accepts, ignores -o option with -verilog

Open

#47 opened on Feb 11, 2020

View on GitHub
 (2 comments) (0 reactions) (0 assignees)Haskell (1,108 stars) (178 forks)batch import
enhancementgood first issue

Description

Steps to repro:

bsc -verilog -o Top.v Top.bs

Expected result: output goes into Top.v

Expected result, slightly darker timeline: -o flag is rejected as incompatible with Verilog output, compile fails.

Actual result: -o flag silently ignored, output goes into mkTop.v (as that is the name of the module in Top.bs).

Contributor guide

Tech stack
None
Domain
build system
Issue type
bug
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
2
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-3 hours
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
stale
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
clear
Prerequisites
Familiarity with command line argument parsing
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
70
Research direction
Look into the command line argument parsing logic, likely in the bsc source code (e.g., src/comp/Args.hs or similar). Identify where the o flag is processed and why it is ignored when verilog is used. Possibly a missing check or early return. Consider adding a check to either use o for output filename or reject the combination with an error.