Commit 3e666fbd authored by Laszlo Domoszlai's avatar Laszlo Domoszlai
Browse files

remove CAFs (unsupported)

parent 571f9aff
......@@ -88,11 +88,11 @@ iTasks._Framework.Tonic.Images.tRoundedRect !width_0 !height_1 = <{Graphics.Scal
:: Graphics.Scalable.Internal._YRadiusAttr = {!Graphics.Scalable.Internal.yradius}
:: Graphics.Scalable.Internal._XRadiusAttr = {!Graphics.Scalable.Internal.xradius}
:: Graphics.Scalable.Internal._StrokeWidthAttr = {!Graphics.Scalable.Internal.strokewidth}
iTasks._Framework.Tonic.Images.TonicBlack =: Graphics.Scalable.toSVGColor_64 "#000000"
iTasks._Framework.Tonic.Images.TonicBlack = Graphics.Scalable.toSVGColor_64 "#000000"
Graphics.Scalable.toSVGColor_64 !name_0 = Text.HTML.SVGColorText name_0
:: Text.HTML.SVGColor = Text.HTML.SVGRGB !a1::I !a2::I !a3::I | Text.HTML.SVGColorText !a1
:: Graphics.Scalable.Internal._StrokeAttr = {!Graphics.Scalable.Internal.stroke}
iTasks._Framework.Tonic.Images.TonicWhite =: Graphics.Scalable.toSVGColor_64 "#ffffff"
iTasks._Framework.Tonic.Images.TonicWhite = Graphics.Scalable.toSVGColor_64 "#ffffff"
:: Graphics.Scalable.Internal._FillAttr = {!Graphics.Scalable.Internal.fill}
Graphics.Scalable.rect !xspan_0 !yspan_1 = update (Graphics.Scalable.mkImage (Graphics.Scalable.Internal.Basic Graphics.Scalable.Internal.RectImage (_Tuple2 (Graphics.Scalable.maxSpan (_predefined._Cons Graphics.Scalable.Internal.zero_0 (_predefined._Cons xspan_0 _predefined._Nil))) (Graphics.Scalable.maxSpan (_predefined._Cons Graphics.Scalable.Internal.zero_0 (_predefined._Cons yspan_1 _predefined._Nil))))))::Graphics.Scalable.Internal._Image [2:Data.Set.fromList (<{StdOverloaded.<;}> <{Graphics.Scalable.<_46}>) (<{StdOverloaded.==;}> <{Graphics.Scalable.==_47}>) (_predefined._Cons (Graphics.Scalable.Internal.ImageStrokeAttr (Graphics.Scalable.Internal._StrokeAttr (Graphics.Scalable.toSVGColor_64 "black"))) (_predefined._Cons (Graphics.Scalable.Internal.ImageStrokeWidthAttr (Graphics.Scalable.Internal._StrokeWidthAttr (Graphics.Scalable.px 1.0))) (_predefined._Cons (Graphics.Scalable.Internal.ImageFillAttr (Graphics.Scalable.Internal._FillAttr (Graphics.Scalable.toSVGColor_64 "black"))) (_predefined._Cons (Graphics.Scalable.Internal.ImageFillOpacityAttr (Graphics.Scalable.Internal._OpacityAttr 1.0)) _predefined._Nil))))]
:: Graphics.Scalable.Internal._OpacityAttr = {!Graphics.Scalable.Internal.opacity::D}
......@@ -222,9 +222,9 @@ iTasks._Framework.Tonic.Images.tAugment !inh_0 !orig_1 !extra_2 !tsrc_3 = let !_
iTasks._Framework.Tonic.Images.tLam !inh_0 !vars_1 !e_2 !tsrc_3 = let !_x_1_0 = iTasks._Framework.Tonic.Images.tExpr2Image inh_0 e_2 tsrc_3, !vars_1_1 = iTasks._Framework.Tonic.Images.filterLamVars vars_1, !vars_1_2 = StdList.map iTasks._Framework.Tonic.Pretty.ppTExpr vars_1_1, !lineParts_1_3 = <{iTasks._Framework.Tonic.Images._c;205;18_1395}> vars_1_2 r_1_5, !img_1_4 = Graphics.Scalable.beside (StdList.repeat Graphics.Scalable.Internal.AtMiddleY) _predefined._Nil lineParts_1_3 Data.Maybe.Nothing, r_1_5 = select _x_1_0::_Tuple2 0 in <{_Tuple2!3}> (iTasks._Framework.Tonic.Images._SynMkImg img_1_4 (select r_1_5::iTasks._Framework.Tonic.Images._SynMkImg 1) (select r_1_5::iTasks._Framework.Tonic.Images._SynMkImg 2)) (select _x_1_0::_Tuple2 1)
<{iTasks._Framework.Tonic.Images._c;205;18_1395}> !vars_0 r_1 = case vars_0 (_predefined._Nil -> _predefined._Cons (iTasks._Framework.Tonic.Images.tHorizConnArr (iTasks._Framework.Tonic.Images.fillColorFromStatStab (_Tuple2 (select r_1::iTasks._Framework.Tonic.Images._SynMkImg 1) (select r_1::iTasks._Framework.Tonic.Images._SynMkImg 2)))) (_predefined._Cons (select r_1::iTasks._Framework.Tonic.Images._SynMkImg 0) _predefined._Nil)) (_ -> _predefined._Cons (iTasks._Framework.Tonic.Images.tHorizConn (iTasks._Framework.Tonic.Images.fillColorFromStatStab (_Tuple2 (select r_1::iTasks._Framework.Tonic.Images._SynMkImg 1) (select r_1::iTasks._Framework.Tonic.Images._SynMkImg 2)))) (_predefined._Cons (iTasks._Framework.Tonic.Images.tTextWithGreyBackground (Graphics.Scalable.Internal._FontDef "Arial" 10.0 "normal" "normal" "normal" "normal") (Data.List.strictFoldr iTasks._Framework.Tonic.Images.anon_135 "" vars_0)) (_predefined._Cons (iTasks._Framework.Tonic.Images.tHorizConnArr (iTasks._Framework.Tonic.Images.fillColorFromStatStab (_Tuple2 (select r_1::iTasks._Framework.Tonic.Images._SynMkImg 1) (select r_1::iTasks._Framework.Tonic.Images._SynMkImg 2)))) (_predefined._Cons (select r_1::iTasks._Framework.Tonic.Images._SynMkImg 0) _predefined._Nil))))
iTasks._Framework.Tonic.Images.fillColorFromStatStab !_x_0 = case _x_0 (_Tuple2 _x_1_0 _x_1_1 -> case _x_1_0 (iTasks._Framework.Tonic.Images.TNotActive -> Data.Maybe.Nothing) (_ -> case _x_1_1 (iTasks._Framework.Tonic.Types.TNoVal -> Data.Maybe.Just iTasks._Framework.Tonic.Images.TonicWhite) (iTasks._Framework.Tonic.Types.TStable -> Data.Maybe.Just iTasks._Framework.Tonic.Images.TonicBlue) (iTasks._Framework.Tonic.Types.TUnstable -> Data.Maybe.Just iTasks._Framework.Tonic.Images.TonicGreen) ))
iTasks._Framework.Tonic.Images.TonicGreen =: Graphics.Scalable.toSVGColor_64 "#32cd32"
iTasks._Framework.Tonic.Images.TonicGreen = Graphics.Scalable.toSVGColor_64 "#32cd32"
:: iTasks._Framework.Tonic.Types.TStability = iTasks._Framework.Tonic.Types.TNoVal | iTasks._Framework.Tonic.Types.TStable | iTasks._Framework.Tonic.Types.TUnstable
iTasks._Framework.Tonic.Images.TonicBlue =: Graphics.Scalable.toSVGColor_64 "#00bfff"
iTasks._Framework.Tonic.Images.TonicBlue = Graphics.Scalable.toSVGColor_64 "#00bfff"
:: iTasks._Framework.Tonic.Images.TStatus = iTasks._Framework.Tonic.Images.TAllDone | iTasks._Framework.Tonic.Images.TIsActive | iTasks._Framework.Tonic.Images.TNotActive
iTasks._Framework.Tonic.Images.tHorizConnArr !status_0 = Graphics.Scalable.beside (StdList.repeat Graphics.Scalable.Internal.AtMiddleY) _predefined._Nil (_predefined._Cons (iTasks._Framework.Tonic.Images.tHorizConn status_0) (_predefined._Cons (iTasks._Framework.Tonic.Images.tArrowTip status_0) _predefined._Nil)) Data.Maybe.Nothing
iTasks._Framework.Tonic.Images.tArrowTip !color_0 = <{Graphics.Scalable.<@<}> (<{Graphics.Scalable.tuneImage;}> Graphics.Scalable.tuneImage_50) (<{Graphics.Scalable.<@<}> (<{Graphics.Scalable.tuneImage;}> Graphics.Scalable.tuneImage_48) (Graphics.Scalable.polygon Data.Maybe.Nothing (_predefined._Cons (_Tuple2 (Graphics.Scalable.px 0.0) (Graphics.Scalable.px 0.0)) (_predefined._Cons (_Tuple2 (Graphics.Scalable.px 8.0) (Graphics.Scalable.px 4.0)) (_predefined._Cons (_Tuple2 (Graphics.Scalable.px 0.0) (Graphics.Scalable.px 8.0)) _predefined._Nil)))) (Graphics.Scalable.Internal._StrokeAttr iTasks._Framework.Tonic.Images.TonicBlack)) (Graphics.Scalable.Internal._FillAttr (Data.Maybe.fromMaybe iTasks._Framework.Tonic.Images.TonicBlack color_0))
......@@ -347,7 +347,7 @@ Data.Maybe.isJust::B !_x_0 = case _x_0 (Data.Maybe.Just _x_1_0 -> True) (_ -> Fa
<{iTasks._Framework.Tonic.Images._if;735;57_1432}> !isDynamic_0::B taskApp_1 valAnchor_2 = case isDynamic_0 (True -> _predefined._Cons taskApp_1 (_predefined._Cons valAnchor_2 _predefined._Nil)) (_ -> _predefined._Cons taskApp_1 _predefined._Nil)
<{iTasks._Framework.Tonic.Images._if;734;70_1431}> !valNode_0::B = case valNode_0 (True -> Graphics.Scalable.px 3.0) (_ -> Graphics.Scalable.px 1.0)
<{iTasks._Framework.Tonic.Images._if;733;65_1430}> !valNode_0::B = case valNode_0 (True -> iTasks._Framework.Tonic.Images.TonicDarkBlue) (_ -> iTasks._Framework.Tonic.Images.TonicBlack)
iTasks._Framework.Tonic.Images.TonicDarkBlue =: Graphics.Scalable.toSVGColor_64 "#000080"
iTasks._Framework.Tonic.Images.TonicDarkBlue = Graphics.Scalable.toSVGColor_64 "#000080"
<{iTasks._Framework.Tonic.Images._c;728;63_1429}> !stability_0 = case stability_0 (iTasks._Framework.Tonic.Types.TNoVal -> iTasks._Framework.Tonic.Images.TonicWhite) (iTasks._Framework.Tonic.Types.TStable -> iTasks._Framework.Tonic.Images.TonicBlue) (iTasks._Framework.Tonic.Types.TUnstable -> iTasks._Framework.Tonic.Images.TonicGreen)
iTasks._Framework.Tonic.Images.openDetails !meta_0 !_x_1::I !st_2 = case _x_1 (1 -> update st_2::iTasks.API.Extensions.SVG.SVGlet._ActionState [1:Data.Maybe.Just (_Tuple2 iTasks._Framework.Tonic.Images.TDetailAction meta_0)]) (_ -> st_2)
<{iTasks._Framework.Tonic.Images._c;718;27_1428}>::B !_x_0 inh_1 eid_2 = case _x_0 (Data.Maybe.Just _x_1_0 -> case _x_1_0 (Data.Either.Left _x_2_0 -> case _x_2_0 (iTasks._Framework.Tonic.Images._ClickMeta _x_3_0 click_origin_mbnode_3_1 click_target_bpident_3_2 -> case _x_3_0 (Data.Maybe.Just _x_4_0 -> case _x_4_0 (iTasks._Framework.Tonic.Images._BlueprintRef bpident_moduleName_5_0 bpident_taskName_5_1 bpident_task_5_2 -> case (eqS bpident_moduleName_5_0 (select (select inh_1::iTasks._Framework.Tonic.Images._InhMkImg 1)::iTasks._Framework.Tonic.Types._BlueprintIdent 0)) (True -> case (eqS bpident_taskName_5_1 (select (select inh_1::iTasks._Framework.Tonic.Images._InhMkImg 1)::iTasks._Framework.Tonic.Types._BlueprintIdent 1)) (True -> case (<{Data.Maybe.==_11}> (<{StdOverloaded.==;}> <{iTasks.API.Core.Types.==_129}>) bpident_task_5_2 (Data.Maybe.fmap_12 iTasks._Framework.Tonic.Images.anon_161 (select inh_1::iTasks._Framework.Tonic.Images._InhMkImg 0))) (True -> <{Data.Maybe.==_11}> (<{StdOverloaded.==;}> <{StdList.==_85}>) click_origin_mbnode_3_1 (Data.Maybe.Just eid_2)) (False -> False) ) (False -> False) ) (False -> False) ) ) ) ) ) (_ -> False)
......@@ -370,12 +370,12 @@ iTasks._Framework.Tonic.Images.tDefaultMApp !isDynamic_0::B !inBranch_1::B !isCo
iTasks._Framework.Tonic.Images._f1383_1383::B !isDynamic_0::B futureUnreachable_1::B futureReachable_2::B inBranch_3::B = case isDynamic_0 (True -> case (case futureUnreachable_1 (True -> True) (False -> futureReachable_2) ) (True -> inBranch_3) (False -> False) ) (_ -> False)
<{iTasks._Framework.Tonic.Images._if;827;26_1384}> !_x_0::B = case _x_0 (True -> Graphics.Scalable.px 3.0) (_ -> Graphics.Scalable.px 1.0)
<{iTasks._Framework.Tonic.Images._if;824;26_1382}> !isDynamic_0::B futureUnreachable_1::B futureReachable_2::B inBranch_3::B = case isDynamic_0 (True -> case futureUnreachable_1 (True -> iTasks._Framework.Tonic.Images.TonicRed) (False -> case (case futureReachable_2 (True -> inBranch_3) (False -> False) ) (True -> iTasks._Framework.Tonic.Images.TonicGreen) (False -> iTasks._Framework.Tonic.Images.TonicBlack) ) ) (_ -> iTasks._Framework.Tonic.Images.TonicBlack)
iTasks._Framework.Tonic.Images.TonicRed =: Graphics.Scalable.toSVGColor_64 "#ff4500"
iTasks._Framework.Tonic.Images.TonicRed = Graphics.Scalable.toSVGColor_64 "#ff4500"
iTasks._Framework.Tonic.Images._f1381_1381::B !_x_0::B is_1::B isActive_2::B wasActive_3::B = case _x_0 (True -> case (not is_1) (True -> not (iTasks._Framework.Tonic.Images._f1380_1380 isActive_2 wasActive_3)) (False -> False) ) (_ -> False)
iTasks._Framework.Tonic.Images._f1380_1380::B !isActive_0::B wasActive_1::B = case isActive_0 (True -> True) (_ -> wasActive_1)
iTasks._Framework.Tonic.Images._f1379_1379::B !isUnreachable_0::B is_1::B = case isUnreachable_0 (True -> not is_1) (_ -> False)
iTasks._Framework.Tonic.Images.appColor !isActive_0::B !wasActive_1::B !is_2::B = case isActive_0 (True -> iTasks._Framework.Tonic.Images.TonicGreen) (False -> case wasActive_1 (True -> iTasks._Framework.Tonic.Images.TonicBlue) (False -> case is_2 (True -> iTasks._Framework.Tonic.Images.TonicGrey) (False -> iTasks._Framework.Tonic.Images.TonicWhite) ) )
iTasks._Framework.Tonic.Images.TonicGrey =: Graphics.Scalable.toSVGColor_64 "#dcdcdc"
iTasks._Framework.Tonic.Images.TonicGrey = Graphics.Scalable.toSVGColor_64 "#dcdcdc"
Data.List.intersperse !i_0 !_x_1 = case _x_1 (_predefined._Nil -> _predefined._Nil) (_predefined._Cons x_1_0 _x_1_1 -> case _x_1_1 (_predefined._Nil -> _predefined._Cons x_1_0 _predefined._Nil) (_ -> _predefined._Cons x_1_0 (_predefined._Cons i_0 (Data.List.intersperse i_0 _x_1_1))))
<{iTasks._Framework.Tonic.Images._c;798;17_1386}> !_x_0 taskArgs_1 = case _x_0 (_Tuple3 _x_1_0 _x_1_1 _x_1_2 -> case _x_1_0 (True -> case _x_1_1 (True -> case _x_1_2 (_predefined._Cons _x_4_0 _x_4_1 -> case _x_4_0 (iTasks._Framework.Tonic.AbsSyn.TVar _x_5_0 tn_5_1 _x_5_2 -> case (case (ltI 0 (string_size tn_5_1)) (True -> eqC (string_select tn_5_1 0) '"') (False -> False) ) (True -> _predefined._Cons (Graphics.Scalable.text (Graphics.Scalable.Internal._FontDef "Arial" 10.0 "normal" "normal" "normal" "normal") tn_5_1) _predefined._Nil) (False -> _predefined._Nil) ) ) ) (_ -> _predefined._Nil)) ) (_ -> taskArgs_1)
Data.List.elem::B !<{_v==_0}> _x_1 !_x_2 = case _x_2 (_predefined._Nil -> False) (_predefined._Cons y_1_0 ys_1_1 -> case (select <{_v==_0}>::<{StdOverloaded.==;}> 0 _x_1 y_1_0) (True -> True) (False -> Data.List.elem <{_v==_0}> _x_1 ys_1_1) )
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment