Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
curry
curry-frontend
53527adc2a9e4efb9984773674b9b0590b25b9c9
53527adc2a9e4efb9984773674b9b0590b25b9c9
Switch branch/tag
curry-frontend
test
OptionsCymake.curry
Find file
Normal view
History
Permalink
OptionsCymake.curry
87 Bytes
Edit
Web IDE
Newer
Older
Added ability to consider options specified in an OPTIONS pragma
Björn Peemöller
committed
May 26, 2014
1
2
3
4
{-# OPTIONS_CYMAKE -e -ddump-all #-}
module OptionsCymake where
type F = { f :: Bool }