Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#63 Changing compiler option requires restart

Milestone_6
open
Leif Frenzel
Bug (46)
7
2008-04-06
2008-02-03
Leif Frenzel
No

Changing compiler option takes only effect after Eclipse has been restarted. (Must also be checked with options for GHCi).

Discussion

  • Leif Frenzel
    Leif Frenzel
    2008-02-03

    • priority: 5 --> 7
     
  • Leif Frenzel
    Leif Frenzel
    2008-03-21

    • milestone: 770141 --> 781048
     
  • Leif Frenzel
    Leif Frenzel
    2008-03-24

    • milestone: 781048 --> 781049
     
  • Leif Frenzel
    Leif Frenzel
    2008-03-30

    • milestone: 781049 --> 781050
     
  • Leif Frenzel
    Leif Frenzel
    2008-04-06

    • milestone: 781050 --> Milestone_6