diff options
Diffstat (limited to 'fig-web/main/Main.hs')
| -rw-r--r-- | fig-web/main/Main.hs | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/fig-web/main/Main.hs b/fig-web/main/Main.hs index 7e3d509..27e90d9 100644 --- a/fig-web/main/Main.hs +++ b/fig-web/main/Main.hs @@ -8,9 +8,9 @@ import Options.Applicative import Fig.Web.Types import Fig.Web.Utils -import qualified Fig.Utils.FFI as FFI import qualified Fig.Web.Public as Public import qualified Fig.Web.Secure as Secure +import qualified Fig.Web.MaudeCode as MaudeCode parsePublicOptions :: Parser PublicOptions parsePublicOptions = do @@ -24,13 +24,13 @@ parseSecureOptions = do data Command = Public PublicOptions | Secure SecureOptions - | TestFFI + | MaudeCode parseCommand :: Parser Command parseCommand = hsubparser $ mconcat [ command "public" $ info (Public <$> parsePublicOptions) (progDesc "Launch the public web server") , command "secure" $ info (Secure <$> parseSecureOptions) (progDesc "Launch the private web server (intended to be run behind authentication proxy)") - , command "testffi" $ info (pure TestFFI) (progDesc "Test the FFI") + , command "maude-code" $ info (pure MaudeCode) (progDesc "Launch the Maude Code web server") ] data Opts = Opts @@ -63,9 +63,4 @@ main = do case opts.cmd of Public o -> Public.server o cfg (opts.busHost, opts.busPort) Secure o -> Secure.server o cfg (opts.busHost, opts.busPort) - TestFFI -> do - log "testing FFI" - res <- FFI.checkAnswer "(lambda (d e) (equal? d e))" "hello computer" "hello computer" - log $ "result: " <> tshow res - inpa <- FFI.genInputAnswer "(lambda (x) (cons x x))" "hello computer" - log $ "input/answer: " <> tshow inpa + MaudeCode -> MaudeCode.server cfg (opts.busHost, opts.busPort) |