Giter VIP home page Giter VIP logo

Comments (2)

CaviarChen avatar CaviarChen commented on June 14, 2024

Had a quick look, the code got removed by this part of code.

wybe/src/Expansion.hs

Lines 29 to 57 in ae5ba99

-- | Expand the supplied ProcDef, inlining as desired.
procExpansion :: ProcSpec -> ProcDef -> Compiler ProcDef
procExpansion pspec def = do
logMsg Expansion $ "*** Try to expand proc " ++ show pspec
let ProcDefPrim proto body _ _ = procImpln def
logMsg Expansion $ " initial body: "
++ show (ProcDefPrim proto body
(ProcAnalysis emptyDS emptyAliasMultiSpeczInfo)
Map.empty)
let tmp = procTmpCount def
let (ins,outs) = inputOutputParams proto
(tmp',used,body') <- buildBody tmp (Map.fromSet id outs) $
execStateT (expandBody body) initExpanderState
let proto' = proto {primProtoParams = markParamNeededness used ins
<$> primProtoParams proto}
let def' = def { procImpln =
ProcDefPrim proto' body'
(ProcAnalysis emptyDS emptyAliasMultiSpeczInfo)
Map.empty,
procTmpCount = tmp' }
if def /= def'
then
logMsg Expansion
$ "*** Expanded:" ++ showProcDef 4 def
++ "\n*** To:" ++ showProcDef 4 def'
else
logMsg Expansion
$ "*** Expansion did not change proc " ++ show (procName def)
return def'

But I am not familiar with this part.

from wybe.

pschachte avatar pschachte commented on June 14, 2024

The bug here is that 'use io' needs to be 'use !io'. The real bug is that the compiler allows you to throw away your changes to the io state. That's a pretty deep bug, but I'll put in an issue for it.

from wybe.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.