Skip to content

Make Mode for IDE#394

Draft
tricktron wants to merge 1 commit intoFrege:masterfrom
tricktron:f-make-mode-ide
Draft

Make Mode for IDE#394
tricktron wants to merge 1 commit intoFrege:masterfrom
tricktron:f-make-mode-ide

Conversation

@tricktron
Copy link

Main Idea

  1. Add a global to the Failed todo constructor.
  2. makeIDE returns all finished todos
  3. Return global: It is either Failed or Compiled

Since there are so little changes: Can we upstream them?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant