unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-05 06:07:21 +03:00
Code Issues Projects Releases Wiki Activity

printout builtin names

Browse Source
This commit is contained in:
Paul Chiusano 2018-10-30 11:06:35 -04:00
parent d3c39700c5
commit 0601547054
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
parser-typechecker/tests/Unison/Test/Typechecker.hs
View File

@ -84,8 +84,9 @@ decodeResult _source (Result _notes (Just (_env, Just (t, typ)))) =
Right (t, typ)
makePassingTest :: (EitherResult -> Test ()) -> FilePath -> Test ()
makePassingTest how filepath = join . liftIO $ do
makePassingTest how filepath = join $ do
let shortName = joinPath . drop 1 . splitPath $ filepath
source <- unpack <$> Data.Text.IO.readFile filepath
source <- io $ unpack <$> Data.Text.IO.readFile filepath
io $ putStrLn (show $ Builtin.names @Symbol)
pure $ scope shortName . how . decodeResult source .
parseAndSynthesizeAsFile shortName $ source