Fix: add supported targets as option for compile commands #1983

jonaprieto · 2023-04-05T13:09:09Z

docs/reference/language/modules.md

app/Commands/Dev/Core/Compile/Options.hs

jonaprieto added the fix:bug label Apr 5, 2023

jonaprieto added this to the 0.3.2 milestone Apr 5, 2023

jonaprieto requested a review from lukaszcz April 5, 2023 13:09

jonaprieto self-assigned this Apr 5, 2023

jonaprieto force-pushed the issue1882 branch from 93ca892 to 82cc9af Compare April 5, 2023 18:18

jonaprieto marked this pull request as ready for review April 5, 2023 18:18

jonaprieto temporarily deployed to github-pages April 5, 2023 18:29 — with GitHub Actions Inactive

lukaszcz reviewed Apr 6, 2023

View reviewed changes

docs/reference/language/modules.md Outdated Show resolved Hide resolved

lukaszcz reviewed Apr 6, 2023

View reviewed changes

app/Commands/Dev/Core/Compile/Options.hs Outdated Show resolved Hide resolved

jonaprieto force-pushed the issue1882 branch from 50ce6b1 to a1a0117 Compare April 11, 2023 18:15

jonaprieto temporarily deployed to github-pages April 11, 2023 18:40 — with GitHub Actions Inactive

jonaprieto added 5 commits April 13, 2023 13:42

add supported targets options for commands

35c4739

Make tests happy

71ab3c1

Make ormolu happy.

35a7ed6

make explicit core targets

422de70

Fix review comments

6da9148

jonaprieto force-pushed the issue1882 branch from c67d8e9 to 6da9148 Compare April 13, 2023 11:42

jonaprieto had a problem deploying to github-pages April 13, 2023 11:51 — with GitHub Actions Error

Make ormoly happy

bc4d101

jonaprieto requested a review from lukaszcz April 13, 2023 11:59

jonaprieto temporarily deployed to github-pages April 13, 2023 12:01 — with GitHub Actions Inactive

lukaszcz approved these changes Apr 13, 2023

View reviewed changes

jonaprieto merged commit 0fcf22f into main Apr 13, 2023
5 checks passed

jonaprieto deleted the issue1882 branch April 13, 2023 12:16

Provide feedback