Commit 6c5a554c authored by marton bognar's avatar marton bognar
Browse files

Change well formed function signatures

parent 1facde36
......@@ -39,11 +39,10 @@ checkAndConvert :: Language -> String -> IO (Either String Program)
checkAndConvert lang varType =
case wellFormed lang of
Left failtxt2 -> return (Left failtxt2)
Right True -> case varType of
Right () -> case varType of
"DeBruijn" -> return (Right (convert lang VDB.getFunctions))
"String" -> return (Right (convert lang VS.getFunctions))
_ -> error "Unknown variable representation!"
Right False -> error "Language is not well formed!"
-- | Convert the abstract syntax of the implementation to a specific language
-- and output it as a file
......
This diff is collapsed.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment