Btw, it is not just this game, that worries me. In our company we internally use a tool written in Elm. I can not post its source code. But It has buttons, input fields etc., and they all are embedded in a quite deep structure of Elements (flow down, flow right, etc.). Since I have to extend this tool quite regularly, I of course want to update it to Elm 0.17 too. Right now I have no idea how to do this without rewriting the view parts entirely.
Here is a minimal example showing my problem: The following was possible in Elm 0.16: source: http://daiw.de/share/elm/html_to_element_problem_0.17/Main.elm online version: http://daiw.de/share/elm/html_to_element_problem_0.17/index.html How can I convert this to 0.17? On Tuesday, May 17, 2016 at 10:04:28 PM UTC+2, Tobias Hermann wrote: > > Hi, > > here I have this game "pick and gloat" (source > <https://github.com/Dobiasd/pick-and-gloat>, online version > <http://www.editgym.com/pick-and-gloat/>) I would like to update from Elm > 0.16 to Elm 0.17. It uses Forms and Elements to position stuff that can be > tapped/clicked. It does not even use the removed Touch package, but > Html.Events.on > "touchstart" etc. instead. Nevertheless I find the task extremely > difficult, because everything was based on the fact that Html could be > converted to Element > <https://github.com/Dobiasd/pick-and-gloat/blob/023649a4e8ba0fabaa90530a13214c8156082686/src/elm/Main.elm#L454>, > > which no longer is possible > <https://groups.google.com/forum/?fromgroups#!topic/elm-discuss/anu_tJtm5Og> > . > > How would you approach such a problem? I can hardly believe that > positioning everything manually low-level style with divs and css can be > the way to go. > Could one abstract this away to get the old functionality back? > Any help would be appreciated. I am quite desperate. :D > > Tobias > -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
