search

ku-fpg / sunroof-compiler

Monadic Javascript Compiler
BSD 3-Clause "New" or "Revised" License
73 stars 6 forks source link

The restriction of only branching over Sunroof a (vs SunroofArgument a) should be lifted #33

Closed andygill closed 11 years ago

andygill commented 11 years ago

JS_Branch :: (SunroofThread t, Sunroof a, SunroofArgument a, Sunroof bool) => bool -> JS t a -> JS t a -> JSI t a

We can remote the Sunroof a restriction. This willl allow ifB, readChan, etc, to use the more general SunroofArgument.

andygill commented 11 years ago

To also consider, using SunroofArgument for

JS_Eval :: (Sunroof a) => a -> JSI t a

Because we have have multi-binds (aka fixpoint)

jbracker commented 11 years ago

07b2aaffa4f28dd72dd925b4d1e3ed7549847916