Multiple files contain tabs

Description

Several files across the codebase contain tabs, including the DESIGN.md file in copilot-bluespec, the CHANGELOG for copilot-core, and the Eval module in copilot-interpreter.

Per our style guide, we should not use tabs anywhere in code, READMEs or CHANGELOGs, unless strictly necessary.

Type

Bug: Files contain tabs.

Additional context

None.

Requester

Ivan Perez.

Method to check presence of bug

Searching for tabs in the codebase reveals the existence of several tabs:

$ grep -nIHre $'\t' *
copilot-bluespec/DESIGN.md:421:       RST_N,
copilot-bluespec/DESIGN.md:423:       even_guard,
copilot-bluespec/DESIGN.md:425:       even_arg0,
copilot-bluespec/DESIGN.md:427:       odd_guard,
copilot-bluespec/DESIGN.md:429:       odd_arg0);
copilot-bluespec/DESIGN.md:818:       RST_N,
copilot-bluespec/DESIGN.md:820:       even_guard,
copilot-bluespec/DESIGN.md:822:       even_arg0,
copilot-bluespec/DESIGN.md:824:       odd_guard,
copilot-bluespec/DESIGN.md:826:       odd_arg0,
copilot-bluespec/DESIGN.md:828:       fibs);
copilot-core/CHANGELOG:2:       * Increase test coverage for `Copilot.Core.Type.Array`. (#767)
copilot-interpreter/src/Copilot/Interpret/Eval.hs:22:                           arrayElems, arrayUpdate, specObservers,

Expected result

No source files, Cabal files, documentation or CHANGELOGs in the Copilot project contain tabs.

Desired result

No source files, Cabal files, documentation or CHANGELOGs in the Copilot project contain tabs.

Proposed solution

Replace any tabs in any source files, Cabal files, documentation or CHANGELOGs in the Copilot project with spaces.

Further notes

None.

Change Manager: Confirmed that the issue exists.

Technical Lead: Confirmed that the issue should be addressed.

@ivanperez-keera

Technical Lead: Issue scheduled for fixing in Copilot 4.8.2.

Fix assigned to: @ivanperez-keera.

copilot-core: Replace tab in CHANGELOG. Refs Copilot-Language#772.

copilot-bluespec: Replace tabs in `DESIGN.md`. Refs Copilot-Language#772

copilot-interpreter: Replace tab in `Copilot.Interpret.Eval`. Refs Co…

copilot-core: Document changes in CHANGELOG. Refs Copilot-Language#772.

copilot-bluespec: Document changes in CHANGELOG. Refs Copilot-Languag…

copilot-interpreter: Document changes in CHANGELOG. Refs Copilot-Lang…

Implementor: Solution implemented, review requested.

Change Manager: Verified that:

Solution is implemented:

The code proposed compiles and passes all tests. Details:
Build log: https://app.travis-ci.com/github/Copilot-Language/copilot/builds/278978093

The solution proposed produces the expected result. Details:
The following Dockerfile checks that no files that are not binary contain any tabs, after which it prints the message "Success":

--- Dockerfile-verify-772
FROM ubuntu:jammy

WORKDIR /root
SHELL ["/bin/bash", "-c"]

ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update

RUN apt-get install --yes \
      git

ARG GIT_COMMIT=HEAD
ARG NAME=copilot
ARG REPO=https://github.com/copilot-language/copilot

RUN git clone ${REPO} ${NAME}
RUN cd ${NAME} && git checkout ${GIT_COMMIT}

WORKDIR ${NAME}

RUN ! grep -nIHre $'\t' *
RUN echo "Success"

Command (substitute variables based on new path after merge):

$ docker build --build-arg "REPO=https://github.com/ivanperez-keera/copilot" --build-arg "NAME=copilot" --build-arg "GIT_COMMIT=d00808a471e635c470444edcaaa89478ee9fb0c9" -t copilot-verify-772 -f Dockerfile-verify-772 .

Implementation is documented. Details:
No updates needed; change does not affect code behavior or documentation.
Change history is clear.
Commit messages are clear.
Changelogs are updated.
Examples are updated. Details:
No updates needed; change does not affect existing examples.
Author is internal or has provided signed CLA.
Required version bumps are evaluated. Details:
Bump not needed; the change only alters the format and does not affect code or public API.

Change Manager: Implementation ready to be merged.

Merge branch 'develop-tabs'. Close Copilot-Language#772.

Navigation Menu

Repository navigation

Multiple files contain tabs #772

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Multiple files contain tabs #772

Description

Activity

ivanperez-keera commented on Oct 12, 2026

ivanperez-keera commented on Oct 12, 2026

ivanperez-keera commented on Oct 12, 2026

ivanperez-keera commented on Oct 12, 2026

ivanperez-keera commented on Oct 12, 2026

ivanperez-keera commented on Oct 12, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions