Integrate top down #155
Open
Integrate top down #155
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…s to maintain state across args
…/Synthesize.hs ! it's now sexy
…k/suites/working.yml src/TopDown/Synthesize.hs !
| @@ -0,0 +1,234 @@ | |||
| {-# LANGUAGE TypeSynonymInstances #-} | |||
There was a problem hiding this comment.
Please restructure this file to reuse the existing code. You may add a flag in app/HooglePlus.hs to indicate whether to run top-down or tygar.
| # if __name__ == '__main__': | ||
| # init() | ||
|
|
||
| # cl_opts = cmdline() |
There was a problem hiding this comment.
Please delete these commented code
| both (a -> b) -> (a, a) -> (b, b) 599.52 - | ||
| firstJust a -> [Maybe a] -> a 599.44 - | ||
| mapEither (a -> Either b c) -> [a] -> ([b], [c]) 599.45 - | ||
| mapMaybes (a -> Maybe b) -> [a] -> Maybe b 599.48 - |
There was a problem hiding this comment.
Please do not commit the experiment results, you may keep them in the shared google driver
| @@ -138,7 +140,8 @@ checkExampleOutput mdls env typ prog exs = do | |||
| | otherwise = case currOutput of | |||
| Left e -> return Nothing | |||
| Right o -> do | |||
| expectedOutput <- runStmt mdls (printf "Test.ChasingBottoms.approxShow 100 (%s)" $ output ex) | |||
| expectedOutput <- runStmt mdls (printf "(%s)" $ output ex) | |||
| -- expectedOutput <- runStmt mdls (printf "Test.ChasingBottoms.approxShow 100 (%s)" $ output ex) | |||
There was a problem hiding this comment.
delete code that is commented out
| @@ -0,0 +1,126 @@ | |||
| module HooglePlus.SynthesizeTheirs(synthesize, envToGoal) where | |||
|
|
|||
| import Database.Environment | |||
There was a problem hiding this comment.
Please revert this file renaming
| @@ -22,7 +22,8 @@ import Database.Generate | |||
| import Database.Download | |||
| import Database.Util | |||
| import Synquid.Util (showme) | |||
| import HooglePlus.Synthesize | |||
| import TopDown.Synthesize | |||
There was a problem hiding this comment.
See TopDown/Synthesize about how to change this
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
We have implemented a TopDown search for Hoogle+.
Here are our results - you can request access to view them if you don't already have access (https://docs.google.com/spreadsheets/d/1wfBqsi45Od8He0we6RuQls4g0LEElOYN9MBXhKpWBxs/edit#gid=1925983337&fvid=861486555)