Skip to content

Expose Copilot.Compile.Bluespec.External. Refs #36. #37

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
RyanGlScott wants to merge 3 commits into from
Closed

Expose Copilot.Compile.Bluespec.External. Refs #36. #37

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
8ed8429
Typofix: Bluespec, not C99. Refs #36.
RyanGlScott Mar 20, 2025
968ad2e
Expose Copilot.Compile.Bluespec.External. Refs #36.
RyanGlScott Mar 20, 2025
091a7db
Document changes in CHANGELOG. Refs #36.
RyanGlScott Mar 20, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions CHANGELOG
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
2025-03-20
* Expose Copilot.Compile.Bluespec.External. (#36)

2025-03-10
* Version bump (4.3). (#34)

Expand Down
8 changes: 3 additions & 5 deletions copilot-bluespec.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ source-repository head

library
default-language : Haskell2010
hs-source-dirs : src, shared
hs-source-dirs : src

ghc-options : -Wall
build-depends : base >= 4.9 && < 5
Expand All @@ -48,12 +48,12 @@ library
, language-bluespec >= 0.1 && < 0.2

exposed-modules : Copilot.Compile.Bluespec
, Copilot.Compile.Bluespec.External

other-modules : Copilot.Compile.Bluespec.CodeGen
, Copilot.Compile.Bluespec.Compile
, Copilot.Compile.Bluespec.Error
, Copilot.Compile.Bluespec.Expr
, Copilot.Compile.Bluespec.External
, Copilot.Compile.Bluespec.FloatingPoint
, Copilot.Compile.Bluespec.Name
, Copilot.Compile.Bluespec.Representation
Expand All @@ -70,8 +70,6 @@ test-suite tests
other-modules:
Test.Copilot.Compile.Bluespec

Copilot.Compile.Bluespec.External

build-depends:
base
, directory
Expand All @@ -91,7 +89,7 @@ test-suite tests
, copilot-bluespec

hs-source-dirs:
tests, shared
tests

default-language:
Haskell2010
Expand Down
2 changes: 1 addition & 1 deletion shared/Copilot/Compile/Bluespec/External.hs → src/Copilot/Compile/Bluespec/External.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ data External = forall a. External
-- | Collect all external variables from the streams and triggers.
--
-- Although Copilot specifications can contain also properties and theorems,
-- the C99 backend currently only generates code for streams and triggers.
-- the Bluespec backend currently only generates code for streams and triggers.
gatherExts :: [Stream] -> [Trigger] -> [External]
gatherExts streams triggers = streamsExts `extUnion` triggersExts
where
Expand Down