From 6b2c4e3b79e74518a986e6e14e1dcffaa3cd12dd Mon Sep 17 00:00:00 2001 From: Roly Perera Date: Fri, 22 Sep 2023 15:51:20 +0100 Subject: [PATCH] =?UTF-8?q?=F0=9F=A7=A9=20[layout]?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/Module.purs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/Module.purs b/src/Module.purs index 55f0f0a15..76721eb36 100644 --- a/src/Module.purs +++ b/src/Module.purs @@ -83,10 +83,9 @@ openDatasetAs :: forall g. Graph g => File -> Var -> GraphConfig g -> Aff (Graph openDatasetAs file x { g, n, γα } = do s <- parseProgram (Folder "fluid") file (g' × n') × (γα' × xv) <- fromRight <$> - ( runWithGraphAllocT (g × n) $ do + runWithGraphAllocT (g × n) do e <- desug s eα <- alloc e vα <- eval γα eα empty pure (γα × D.singleton x vα) - ) pure ({ g: g', n: n', γα: γα' } × xv)