free-theorems-seq-webui 1.0 → 1.0.0.1

raw patch · 2 files changed

+6/−3 lines, 2 files

Files

• free-theorems-seq-webui.cabal +1/−1
• src/free-theorems-seq-webui.hs +5/−2

@@ -1,5 +1,5 @@ name:           free-theorems-seq-webui-version:        1.0+version:        1.0.0.1 license:        PublicDomain author:         Daniel Seidel maintainer:     ds@iai.uni-bonn.de

@@ -76,14 +76,17 @@                                   printTypeAndFT (head minTypeFTList))                              +++                         p << "The normal free theorem for the type without annotations would be:" +++-                             pre << tt << (highlight normalFT)))+                             pre << tt << (highlight $ neq2eq normalFT)))  where run_algorithmM = do res <- liftIO (watchdog2 3000 (getForWebInterface termStr)) 			   return (case res of 			                Nothing -> Left ("TimeOut","Unfortunately the generator the type generator timed out. Time was restricted to 3 seconds.") 			                Just x  -> x)        printTypeAndFT (tau,ft) = p << pre << tt << tau +++                                  p << "with the free theorem" +++-				      pre << tt << (highlight ft)+				      pre << tt << (highlight $ neq2eq ft)+       neq2eq ('/':'=':s) = neq2eq ('=':s)+       neq2eq (x:xs)      = x : neq2eq xs+       neq2eq []          = []  main = runCGI (handleErrors cgiMain)