IGhcPreferenceNames.java

// Copyright (c) 2003-2005 by Leif Frenzel - see http://leiffrenzel.de
package net.sf.eclipsefp.haskell.ghccompiler.core.preferences;


/** <p>contains preference names for the GHC compiler plugin.</p>
  *
  * @author Leif Frenzel
  */
public interface IGhcPreferenceNames {

  String EXTRA_OPTIONS         = "EXTRA_OPTIONS"; //$NON-NLS-1$
  String USE_EXTRA_OPTIONS     = "USE_EXTRA_OPTIONS"; //$NON-NLS-1$
  String OPTIMIZATION_LEVEL    = "OPTIMIZATION_LEVEL"; //$NON-NLS-1$

//  String GHCI_USES_GHC_OPTIONS = "GHCI_USES_GHC_OPTIONS"; //$NON-NLS-1$
//  String GHCI_SOURCE_FOLDERS   = "GHCI_SOURCE_FOLDERS"; //$NON-NLS-1$
}