diff --git a/src/App/Fig.purs b/src/App/Fig.purs index 24f5ba484..08a440323 100644 --- a/src/App/Fig.purs +++ b/src/App/Fig.purs @@ -210,14 +210,12 @@ loadLinkFig spec@{ file1, file2, dataFile, x } = do openDefaultImports >>= openDatasetAs (File "example/" <> dir <> dataFile) x s1' × s2' <- (×) <$> open name1 <*> open name2 let - γ0 = botOf <$> γ - xv0 = botOf <$> xv - γ' = γ0 <+> xv0 + γ0 = botOf <$> (γ <+> xv) s1 = botOf s1' s2 = botOf s2' dataFile' <- loadFile (Folder "fluid/example/linking") dataFile -- use surface expression instead e1 × e2 <- (×) <$> desug s1 <*> desug s2 - t1 × v1 <- eval γ' e1 bot - t2 × v2 <- eval γ' e2 bot - let v0 = get x xv0 - pure { spec, γ: γ', s1, s2, e1, e2, t1, t2, v1, v2, v0, dataFile: dataFile' } + t1 × v1 <- eval γ0 e1 bot + t2 × v2 <- eval γ0 e2 bot + let v0 = get x γ0 + pure { spec, γ: γ0, s1, s2, e1, e2, t1, t2, v1, v2, v0, dataFile: dataFile' }