Show: Restore redundant parentheses around records
authorBen Gamari <bgamari.foss@gmail.com>
Thu, 24 Mar 2016 09:54:11 +0000 (10:54 +0100)
committerBen Gamari <ben@smart-cactus.org>
Thu, 24 Mar 2016 11:14:10 +0000 (12:14 +0100)
As discussed in #2530 we are going to continue to produce parentheses
here in order to preserve compatibility with previous GHC releases. It
was found that dropped parentheses would break some testsuites which
compared against output from Show. This has been documented in the users
guide.

This reverts commit 5692643c9d17e746327588cd6157a923642b7975.

Test Plan: Validate

Reviewers: hvr, austin

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D2027

GHC Trac Issues: #2350

compiler/hsSyn/HsExpr.hs
compiler/typecheck/TcGenDeriv.hs
docs/users_guide/bugs.rst
testsuite/tests/codeGen/should_run/T7953.stdout
testsuite/tests/deriving/should_run/drvrun020.stdout
testsuite/tests/ghc-api/annotations-literals/literals.stdout

index 7f09726..a18fbd4 100644 (file)
@@ -791,8 +791,8 @@ ppr_expr (ExplicitPArr _ exprs)
 ppr_expr (RecordCon { rcon_con_name = con_id, rcon_flds = rbinds })
   = hang (ppr con_id) 2 (ppr rbinds)
 
-ppr_expr (RecordUpd { rupd_expr = aexp, rupd_flds = rbinds })
-  = hang (pprLExpr aexp) 2 (braces (fsep (punctuate comma (map ppr rbinds))))
+ppr_expr (RecordUpd { rupd_expr = L _ aexp, rupd_flds = rbinds })
+  = hang (pprParendExpr aexp) 2 (braces (fsep (punctuate comma (map ppr rbinds))))
 
 ppr_expr (ExprWithTySig expr sig)
   = hang (nest 2 (ppr_lexpr expr) <+> dcolon)
@@ -931,8 +931,6 @@ hsExprNeedsParens (HsOverLabel {})    = False
 hsExprNeedsParens (ExplicitTuple {})  = False
 hsExprNeedsParens (ExplicitList {})   = False
 hsExprNeedsParens (ExplicitPArr {})   = False
-hsExprNeedsParens (RecordCon {})      = False
-hsExprNeedsParens (RecordUpd {})      = False
 hsExprNeedsParens (HsPar {})          = False
 hsExprNeedsParens (HsBracket {})      = False
 hsExprNeedsParens (HsRnBracketOut {}) = False
index 34e9d11..15f0480 100644 (file)
@@ -1122,8 +1122,6 @@ gen_Show_binds get_fixity loc tycon
       | nullary_con =  -- skip the showParen junk...
          ASSERT(null bs_needed)
          ([nlWildPat, con_pat], mk_showString_app op_con_str)
-      | record_syntax =  -- skip showParen (#2530)
-         ([a_Pat, con_pat], nlHsPar (nested_compose_Expr show_thingies))
       | otherwise   =
          ([a_Pat, con_pat],
           showParen_Expr (genOpApp a_Expr ge_RDR
index f0c522c..ff43009 100644 (file)
@@ -223,6 +223,21 @@ Arbitrary-sized tuples
 
        splitAt undefined [] = undefined
 
+``Show``\ ing records
+    The Haskell 2010 definition of ``Show`` stipulates that the rendered
+    string should only include parentheses which are necessary to unambiguously
+    parse the result. For historical reasons, ``Show`` instances derived by GHC
+    include parentheses around records despite the fact that record syntax
+    binds more tightly than function application; e.g., ::
+
+        data Hello = Hello { aField :: Int } deriving (Show)
+
+        -- GHC produces...
+        show (Just (Hello {aField=42})) == "Just (Hello {aField=42})"
+
+        -- whereas Haskell 2010 calls for...
+        show (Just (Hello {aField=42})) == "Just Hello {aField=42}"
+
 ``Read``\ ing integers
     GHC's implementation of the ``Read`` class for integral types
     accepts hexadecimal and octal literals (the code in the Haskell 98
index a5d16b6..f088f52 100644 (file)
@@ -1,5 +1,5 @@
-Winner E {_key = 1, prio = 500.0} (Fork E {_key = 2, prio = 400.0} Start (Fork E {_key = 3, prio = 300.0} Start (Fork E {_key = 4, prio = 200.0} Start (Fork E {_key = 5, prio = 100.0} Start (Fork E {_key = 6, prio = 0.0} Start (Fork E {_key = 7, prio = -100.0} Start (Fork E {_key = 8, prio = -200.0} Start (Fork E {_key = 9, prio = -300.0} Start (Fork E {_key = 10, prio = -400.0} Start (Fork E {_key = 11, prio = -500.0} Start (Fork E {_key = 12, prio = -600.0} Start (Fork E {_key = 13, prio = -700.0} Start (Fork E {_key = 14, prio = -800.0} Start (Fork E {_key = 15, prio = -900.0} Start (Fork E {_key = 16, prio = -1000.0} Start (Fork E {_key = 17, prio = -1100.0} Start (Fork E {_key = 18, prio = -1200.0} Start (Fork E {_key = 19, prio = -1300.0} Start (Fork E {_key = 20, prio = -1400.0} Start (Fork E {_key = 21, prio = -1500.0} Start (Fork E {_key = 22, prio = -1600.0} Start (Fork E {_key = 23, prio = -1700.0} Start (Fork E {_key = 24, prio = -1800.0} Start (Fork E {_key = 25, prio = -1900.0} Start (Fork E {_key = 26, prio = -2000.0} Start (Fork E {_key = 27, prio = -2100.0} Start (Fork E {_key = 28, prio = -2200.0} Start (Fork E {_key = 29, prio = -2300.0} Start (Fork E {_key = 30, prio = -2400.0} Start (Fork E {_key = 31, prio = -2500.0} Start (Fork E {_key = 32, prio = -2600.0} Start (Fork E {_key = 33, prio = -2700.0} Start (Fork E {_key = 34, prio = -2800.0} Start (Fork E {_key = 35, prio = -2900.0} Start (Fork E {_key = 36, prio = -3000.0} Start (Fork E {_key = 37, prio = -3100.0} Start (Fork E {_key = 38, prio = -3200.0} Start (Fork E {_key = 39, prio = -3300.0} Start (Fork E {_key = 40, prio = -3400.0} Start (Fork E {_key = 41, prio = -3500.0} Start (Fork E {_key = 42, prio = -3600.0} Start (Fork E {_key = 43, prio = -3700.0} Start (Fork E {_key = 44, prio = -3800.0} Start (Fork E {_key = 45, prio = -3900.0} Start (Fork E {_key = 46, prio = -4000.0} Start (Fork E {_key = 47, prio = -4100.0} Start (Fork E {_key = 48, prio = -4200.0} Start (Fork E {_key = 49, prio = -4300.0} Start (Fork E {_key = 50, prio = -4400.0} Start (Fork E {_key = 51, prio = -4500.0} Start (Fork E {_key = 52, prio = -4600.0} Start (Fork E {_key = 53, prio = -4700.0} Start (Fork E {_key = 54, prio = -4800.0} Start (Fork E {_key = 55, prio = -4900.0} Start (Fork E {_key = 56, prio = -5000.0} Start (Fork E {_key = 57, prio = -5100.0} Start (Fork E {_key = 58, prio = -5200.0} Start (Fork E {_key = 59, prio = -5300.0} Start (Fork E {_key = 60, prio = -5400.0} Start (Fork E {_key = 61, prio = -5500.0} Start (Fork E {_key = 62, prio = -5600.0} Start (Fork E {_key = 63, prio = -5700.0} Start (Fork E {_key = 64, prio = -5800.0} Start (Fork E {_key = 65, prio = -5900.0} Start (Fork E {_key = 66, prio = -6000.0} Start (Fork E {_key = 67, prio = -6100.0} Start (Fork E {_key = 68, prio = -6200.0} Start (Fork E {_key = 69, prio = -6300.0} Start (Fork E {_key = 70, prio = -6400.0} Start (Fork E {_key = 71, prio = -6500.0} Start (Fork E {_key = 72, prio = -6600.0} Start (Fork E {_key = 73, prio = -6700.0} Start (Fork E {_key = 74, prio = -6800.0} Start (Fork E {_key = 75, prio = -6900.0} Start (Fork E {_key = 76, prio = -7000.0} Start (Fork E {_key = 77, prio = -7100.0} Start (Fork E {_key = 78, prio = -7200.0} Start (Fork E {_key = 79, prio = -7300.0} Start (Fork E {_key = 80, prio = -7400.0} Start (Fork E {_key = 81, prio = -7500.0} Start (Fork E {_key = 82, prio = -7600.0} Start (Fork E {_key = 83, prio = -7700.0} Start (Fork E {_key = 84, prio = -7800.0} Start (Fork E {_key = 85, prio = -7900.0} Start (Fork E {_key = 86, prio = -8000.0} Start (Fork E {_key = 87, prio = -8100.0} Start (Fork E {_key = 88, prio = -8200.0} Start (Fork E {_key = 89, prio = -8300.0} Start (Fork E {_key = 90, prio = -8400.0} Start (Fork E {_key = 91, prio = -8500.0} Start (Fork E {_key = 92, prio = -8600.0} Start (Fork E {_key = 93, prio = -8700.0} Start (Fork E {_key = 94, prio = -8800.0} Start (Fork E {_key = 95, prio = -8900.0} Start (Fork E {_key = 96, prio = -9000.0} Start (Fork E {_key = 97, prio = -9100.0} Start (Fork E {_key = 98, prio = -9200.0} Start (Fork E {_key = 99, prio = -9300.0} Start (Fork E {_key = 100, prio = -9400.0} Start (Fork E {_key = 101, prio = -9500.0} Start (Fork E {_key = 102, prio = -9600.0} Start (Fork E {_key = 103, prio = -9700.0} Start (Fork E {_key = 104, prio = -9800.0} Start (Fork E {_key = 105, prio = -9900.0} Start (Fork E {_key = 106, prio = -10000.0} Start (Fork E {_key = 107, prio = -10100.0} Start (Fork E {_key = 108, prio = -10200.0} Start (Fork E {_key = 109, prio = -10300.0} Start (Fork E {_key = 110, prio = -10400.0} Start (Fork E {_key = 111, prio = -10500.0} Start (Fork E {_key = 112, prio = -10600.0} Start (Fork E {_key = 113, prio = -10700.0} Start (Fork E {_key = 114, prio = -10800.0} Start (Fork E {_key = 115, prio = -10900.0} Start (Fork E {_key = 116, prio = -11000.0} Start (Fork E {_key = 117, prio = -11100.0} Start (Fork E {_key = 118, prio = -11200.0} Start (Fork E {_key = 119, prio = -11300.0} Start (Fork E {_key = 120, prio = -11400.0} Start (Fork E {_key = 121, prio = -11500.0} Start (Fork E {_key = 122, prio = -11600.0} Start (Fork E {_key = 123, prio = -11700.0} Start (Fork E {_key = 124, prio = -11800.0} Start (Fork E {_key = 125, prio = -11900.0} Start (Fork E {_key = 126, prio = -12000.0} Start (Fork E {_key = 127, prio = -12100.0} Start (Fork E {_key = 128, prio = -12200.0} Start (Fork E {_key = 129, prio = -12300.0} Start (Fork E {_key = 130, prio = -12400.0} Start (Fork E {_key = 131, prio = -12500.0} Start (Fork E {_key = 132, prio = -12600.0} Start (Fork E {_key = 133, prio = -12700.0} Start (Fork E {_key = 134, prio = -12800.0} Start (Fork E {_key = 135, prio = -12900.0} Start (Fork E {_key = 136, prio = -13000.0} Start (Fork E {_key = 137, prio = -13100.0} Start (Fork E {_key = 138, prio = -13200.0} Start (Fork E {_key = 139, prio = -13300.0} Start (Fork E {_key = 140, prio = -13400.0} Start (Fork E {_key = 141, prio = -13500.0} Start (Fork E {_key = 142, prio = -13600.0} Start (Fork E {_key = 143, prio = -13700.0} Start (Fork E {_key = 144, prio = -13800.0} Start (Fork E {_key = 145, prio = -13900.0} Start (Fork E {_key = 146, prio = -14000.0} Start (Fork E {_key = 147, prio = -14100.0} Start (Fork E {_key = 148, prio = -14200.0} Start (Fork E {_key = 149, prio = -14300.0} Start (Fork E {_key = 150, prio = -14400.0} Start (Fork E {_key = 151, prio = -14500.0} Start (Fork E {_key = 152, prio = -14600.0} Start (Fork E {_key = 153, prio = -14700.0} Start (Fork E {_key = 154, prio = -14800.0} Start (Fork E {_key = 155, prio = -14900.0} Start (Fork E {_key = 156, prio = -15000.0} Start (Fork E {_key = 157, prio = -15100.0} Start (Fork E {_key = 158, prio = -15200.0} Start (Fork E {_key = 159, prio = -15300.0} Start (Fork E {_key = 160, prio = -15400.0} Start (Fork E {_key = 161, prio = -15500.0} Start (Fork E {_key = 162, prio = -15600.0} Start (Fork E {_key = 163, prio = -15700.0} Start (Fork E {_key = 164, prio = -15800.0} Start (Fork E {_key = 165, prio = -15900.0} Start (Fork E {_key = 166, prio = -16000.0} Start (Fork E {_key = 167, prio = -16100.0} Start (Fork E {_key = 168, prio = -16200.0} Start (Fork E {_key = 169, prio = -16300.0} Start (Fork E {_key = 170, prio = -16400.0} Start (Fork E {_key = 171, prio = -16500.0} Start (Fork E {_key = 172, prio = -16600.0} Start (Fork E {_key = 173, prio = -16700.0} Start (Fork E {_key = 174, prio = -16800.0} Start (Fork E {_key = 175, prio = -16900.0} Start (Fork E {_key = 176, prio = -17000.0} Start (Fork E {_key = 177, prio = -17100.0} Start (Fork E {_key = 178, prio = -17200.0} Start (Fork E {_key = 179, prio = -17300.0} Start (Fork E {_key = 180, prio = -17400.0} Start (Fork E {_key = 181, prio = -17500.0} Start (Fork E {_key = 182, prio = -17600.0} Start (Fork E {_key = 183, prio = -17700.0} Start (Fork E {_key = 184, prio = -17800.0} Start (Fork E {_key = 185, prio = -17900.0} Start (Fork E {_key = 186, prio = -18000.0} Start (Fork E {_key = 187, prio = -18100.0} Start (Fork E {_key = 188, prio = -18200.0} Start (Fork E {_key = 189, prio = -18300.0} Start (Fork E {_key = 190, prio = -18400.0} Start (Fork E {_key = 191, prio = -18500.0} Start (Fork E {_key = 192, prio = -18600.0} Start (Fork E {_key = 193, prio = -18700.0} Start (Fork E {_key = 194, prio = -18800.0} Start (Fork E {_key = 195, prio = -18900.0} Start (Fork E {_key = 196, prio = -19000.0} Start (Fork E {_key = 197, prio = -19100.0} Start (Fork E {_key = 198, prio = -19200.0} Start (Fork E {_key = 199, prio = -19300.0} Start (Fork E {_key = 200, prio = -19400.0} Start Start)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+Winner (E {_key = 1, prio = 500.0}) (Fork (E {_key = 2, prio = 400.0}) Start (Fork (E {_key = 3, prio = 300.0}) Start (Fork (E {_key = 4, prio = 200.0}) Start (Fork (E {_key = 5, prio = 100.0}) Start (Fork (E {_key = 6, prio = 0.0}) Start (Fork (E {_key = 7, prio = -100.0}) Start (Fork (E {_key = 8, prio = -200.0}) Start (Fork (E {_key = 9, prio = -300.0}) Start (Fork (E {_key = 10, prio = -400.0}) Start (Fork (E {_key = 11, prio = -500.0}) Start (Fork (E {_key = 12, prio = -600.0}) Start (Fork (E {_key = 13, prio = -700.0}) Start (Fork (E {_key = 14, prio = -800.0}) Start (Fork (E {_key = 15, prio = -900.0}) Start (Fork (E {_key = 16, prio = -1000.0}) Start (Fork (E {_key = 17, prio = -1100.0}) Start (Fork (E {_key = 18, prio = -1200.0}) Start (Fork (E {_key = 19, prio = -1300.0}) Start (Fork (E {_key = 20, prio = -1400.0}) Start (Fork (E {_key = 21, prio = -1500.0}) Start (Fork (E {_key = 22, prio = -1600.0}) Start (Fork (E {_key = 23, prio = -1700.0}) Start (Fork (E {_key = 24, prio = -1800.0}) Start (Fork (E {_key = 25, prio = -1900.0}) Start (Fork (E {_key = 26, prio = -2000.0}) Start (Fork (E {_key = 27, prio = -2100.0}) Start (Fork (E {_key = 28, prio = -2200.0}) Start (Fork (E {_key = 29, prio = -2300.0}) Start (Fork (E {_key = 30, prio = -2400.0}) Start (Fork (E {_key = 31, prio = -2500.0}) Start (Fork (E {_key = 32, prio = -2600.0}) Start (Fork (E {_key = 33, prio = -2700.0}) Start (Fork (E {_key = 34, prio = -2800.0}) Start (Fork (E {_key = 35, prio = -2900.0}) Start (Fork (E {_key = 36, prio = -3000.0}) Start (Fork (E {_key = 37, prio = -3100.0}) Start (Fork (E {_key = 38, prio = -3200.0}) Start (Fork (E {_key = 39, prio = -3300.0}) Start (Fork (E {_key = 40, prio = -3400.0}) Start (Fork (E {_key = 41, prio = -3500.0}) Start (Fork (E {_key = 42, prio = -3600.0}) Start (Fork (E {_key = 43, prio = -3700.0}) Start (Fork (E {_key = 44, prio = -3800.0}) Start (Fork (E {_key = 45, prio = -3900.0}) Start (Fork (E {_key = 46, prio = -4000.0}) Start (Fork (E {_key = 47, prio = -4100.0}) Start (Fork (E {_key = 48, prio = -4200.0}) Start (Fork (E {_key = 49, prio = -4300.0}) Start (Fork (E {_key = 50, prio = -4400.0}) Start (Fork (E {_key = 51, prio = -4500.0}) Start (Fork (E {_key = 52, prio = -4600.0}) Start (Fork (E {_key = 53, prio = -4700.0}) Start (Fork (E {_key = 54, prio = -4800.0}) Start (Fork (E {_key = 55, prio = -4900.0}) Start (Fork (E {_key = 56, prio = -5000.0}) Start (Fork (E {_key = 57, prio = -5100.0}) Start (Fork (E {_key = 58, prio = -5200.0}) Start (Fork (E {_key = 59, prio = -5300.0}) Start (Fork (E {_key = 60, prio = -5400.0}) Start (Fork (E {_key = 61, prio = -5500.0}) Start (Fork (E {_key = 62, prio = -5600.0}) Start (Fork (E {_key = 63, prio = -5700.0}) Start (Fork (E {_key = 64, prio = -5800.0}) Start (Fork (E {_key = 65, prio = -5900.0}) Start (Fork (E {_key = 66, prio = -6000.0}) Start (Fork (E {_key = 67, prio = -6100.0}) Start (Fork (E {_key = 68, prio = -6200.0}) Start (Fork (E {_key = 69, prio = -6300.0}) Start (Fork (E {_key = 70, prio = -6400.0}) Start (Fork (E {_key = 71, prio = -6500.0}) Start (Fork (E {_key = 72, prio = -6600.0}) Start (Fork (E {_key = 73, prio = -6700.0}) Start (Fork (E {_key = 74, prio = -6800.0}) Start (Fork (E {_key = 75, prio = -6900.0}) Start (Fork (E {_key = 76, prio = -7000.0}) Start (Fork (E {_key = 77, prio = -7100.0}) Start (Fork (E {_key = 78, prio = -7200.0}) Start (Fork (E {_key = 79, prio = -7300.0}) Start (Fork (E {_key = 80, prio = -7400.0}) Start (Fork (E {_key = 81, prio = -7500.0}) Start (Fork (E {_key = 82, prio = -7600.0}) Start (Fork (E {_key = 83, prio = -7700.0}) Start (Fork (E {_key = 84, prio = -7800.0}) Start (Fork (E {_key = 85, prio = -7900.0}) Start (Fork (E {_key = 86, prio = -8000.0}) Start (Fork (E {_key = 87, prio = -8100.0}) Start (Fork (E {_key = 88, prio = -8200.0}) Start (Fork (E {_key = 89, prio = -8300.0}) Start (Fork (E {_key = 90, prio = -8400.0}) Start (Fork (E {_key = 91, prio = -8500.0}) Start (Fork (E {_key = 92, prio = -8600.0}) Start (Fork (E {_key = 93, prio = -8700.0}) Start (Fork (E {_key = 94, prio = -8800.0}) Start (Fork (E {_key = 95, prio = -8900.0}) Start (Fork (E {_key = 96, prio = -9000.0}) Start (Fork (E {_key = 97, prio = -9100.0}) Start (Fork (E {_key = 98, prio = -9200.0}) Start (Fork (E {_key = 99, prio = -9300.0}) Start (Fork (E {_key = 100, prio = -9400.0}) Start (Fork (E {_key = 101, prio = -9500.0}) Start (Fork (E {_key = 102, prio = -9600.0}) Start (Fork (E {_key = 103, prio = -9700.0}) Start (Fork (E {_key = 104, prio = -9800.0}) Start (Fork (E {_key = 105, prio = -9900.0}) Start (Fork (E {_key = 106, prio = -10000.0}) Start (Fork (E {_key = 107, prio = -10100.0}) Start (Fork (E {_key = 108, prio = -10200.0}) Start (Fork (E {_key = 109, prio = -10300.0}) Start (Fork (E {_key = 110, prio = -10400.0}) Start (Fork (E {_key = 111, prio = -10500.0}) Start (Fork (E {_key = 112, prio = -10600.0}) Start (Fork (E {_key = 113, prio = -10700.0}) Start (Fork (E {_key = 114, prio = -10800.0}) Start (Fork (E {_key = 115, prio = -10900.0}) Start (Fork (E {_key = 116, prio = -11000.0}) Start (Fork (E {_key = 117, prio = -11100.0}) Start (Fork (E {_key = 118, prio = -11200.0}) Start (Fork (E {_key = 119, prio = -11300.0}) Start (Fork (E {_key = 120, prio = -11400.0}) Start (Fork (E {_key = 121, prio = -11500.0}) Start (Fork (E {_key = 122, prio = -11600.0}) Start (Fork (E {_key = 123, prio = -11700.0}) Start (Fork (E {_key = 124, prio = -11800.0}) Start (Fork (E {_key = 125, prio = -11900.0}) Start (Fork (E {_key = 126, prio = -12000.0}) Start (Fork (E {_key = 127, prio = -12100.0}) Start (Fork (E {_key = 128, prio = -12200.0}) Start (Fork (E {_key = 129, prio = -12300.0}) Start (Fork (E {_key = 130, prio = -12400.0}) Start (Fork (E {_key = 131, prio = -12500.0}) Start (Fork (E {_key = 132, prio = -12600.0}) Start (Fork (E {_key = 133, prio = -12700.0}) Start (Fork (E {_key = 134, prio = -12800.0}) Start (Fork (E {_key = 135, prio = -12900.0}) Start (Fork (E {_key = 136, prio = -13000.0}) Start (Fork (E {_key = 137, prio = -13100.0}) Start (Fork (E {_key = 138, prio = -13200.0}) Start (Fork (E {_key = 139, prio = -13300.0}) Start (Fork (E {_key = 140, prio = -13400.0}) Start (Fork (E {_key = 141, prio = -13500.0}) Start (Fork (E {_key = 142, prio = -13600.0}) Start (Fork (E {_key = 143, prio = -13700.0}) Start (Fork (E {_key = 144, prio = -13800.0}) Start (Fork (E {_key = 145, prio = -13900.0}) Start (Fork (E {_key = 146, prio = -14000.0}) Start (Fork (E {_key = 147, prio = -14100.0}) Start (Fork (E {_key = 148, prio = -14200.0}) Start (Fork (E {_key = 149, prio = -14300.0}) Start (Fork (E {_key = 150, prio = -14400.0}) Start (Fork (E {_key = 151, prio = -14500.0}) Start (Fork (E {_key = 152, prio = -14600.0}) Start (Fork (E {_key = 153, prio = -14700.0}) Start (Fork (E {_key = 154, prio = -14800.0}) Start (Fork (E {_key = 155, prio = -14900.0}) Start (Fork (E {_key = 156, prio = -15000.0}) Start (Fork (E {_key = 157, prio = -15100.0}) Start (Fork (E {_key = 158, prio = -15200.0}) Start (Fork (E {_key = 159, prio = -15300.0}) Start (Fork (E {_key = 160, prio = -15400.0}) Start (Fork (E {_key = 161, prio = -15500.0}) Start (Fork (E {_key = 162, prio = -15600.0}) Start (Fork (E {_key = 163, prio = -15700.0}) Start (Fork (E {_key = 164, prio = -15800.0}) Start (Fork (E {_key = 165, prio = -15900.0}) Start (Fork (E {_key = 166, prio = -16000.0}) Start (Fork (E {_key = 167, prio = -16100.0}) Start (Fork (E {_key = 168, prio = -16200.0}) Start (Fork (E {_key = 169, prio = -16300.0}) Start (Fork (E {_key = 170, prio = -16400.0}) Start (Fork (E {_key = 171, prio = -16500.0}) Start (Fork (E {_key = 172, prio = -16600.0}) Start (Fork (E {_key = 173, prio = -16700.0}) Start (Fork (E {_key = 174, prio = -16800.0}) Start (Fork (E {_key = 175, prio = -16900.0}) Start (Fork (E {_key = 176, prio = -17000.0}) Start (Fork (E {_key = 177, prio = -17100.0}) Start (Fork (E {_key = 178, prio = -17200.0}) Start (Fork (E {_key = 179, prio = -17300.0}) Start (Fork (E {_key = 180, prio = -17400.0}) Start (Fork (E {_key = 181, prio = -17500.0}) Start (Fork (E {_key = 182, prio = -17600.0}) Start (Fork (E {_key = 183, prio = -17700.0}) Start (Fork (E {_key = 184, prio = -17800.0}) Start (Fork (E {_key = 185, prio = -17900.0}) Start (Fork (E {_key = 186, prio = -18000.0}) Start (Fork (E {_key = 187, prio = -18100.0}) Start (Fork (E {_key = 188, prio = -18200.0}) Start (Fork (E {_key = 189, prio = -18300.0}) Start (Fork (E {_key = 190, prio = -18400.0}) Start (Fork (E {_key = 191, prio = -18500.0}) Start (Fork (E {_key = 192, prio = -18600.0}) Start (Fork (E {_key = 193, prio = -18700.0}) Start (Fork (E {_key = 194, prio = -18800.0}) Start (Fork (E {_key = 195, prio = -18900.0}) Start (Fork (E {_key = 196, prio = -19000.0}) Start (Fork (E {_key = 197, prio = -19100.0}) Start (Fork (E {_key = 198, prio = -19200.0}) Start (Fork (E {_key = 199, prio = -19300.0}) Start (Fork (E {_key = 200, prio = -19400.0}) Start Start)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
 Before atMost
 []
-Winner E {_key = 1, prio = 500.0} (Fork E {_key = 2, prio = 400.0} Start (Fork E {_key = 3, prio = 300.0} Start (Fork E {_key = 4, prio = 200.0} Start (Fork E {_key = 5, prio = 100.0} Start (Fork E {_key = 6, prio = 0.0} Start (Fork E {_key = 7, prio = -100.0} Start (Fork E {_key = 8, prio = -200.0} Start (Fork E {_key = 9, prio = -300.0} Start (Fork E {_key = 10, prio = -400.0} Start (Fork E {_key = 11, prio = -500.0} Start (Fork E {_key = 12, prio = -600.0} Start (Fork E {_key = 13, prio = -700.0} Start (Fork E {_key = 14, prio = -800.0} Start (Fork E {_key = 15, prio = -900.0} Start (Fork E {_key = 16, prio = -1000.0} Start (Fork E {_key = 17, prio = -1100.0} Start (Fork E {_key = 18, prio = -1200.0} Start (Fork E {_key = 19, prio = -1300.0} Start (Fork E {_key = 20, prio = -1400.0} Start (Fork E {_key = 21, prio = -1500.0} Start (Fork E {_key = 22, prio = -1600.0} Start (Fork E {_key = 23, prio = -1700.0} Start (Fork E {_key = 24, prio = -1800.0} Start (Fork E {_key = 25, prio = -1900.0} Start (Fork E {_key = 26, prio = -2000.0} Start (Fork E {_key = 27, prio = -2100.0} Start (Fork E {_key = 28, prio = -2200.0} Start (Fork E {_key = 29, prio = -2300.0} Start (Fork E {_key = 30, prio = -2400.0} Start (Fork E {_key = 31, prio = -2500.0} Start (Fork E {_key = 32, prio = -2600.0} Start (Fork E {_key = 33, prio = -2700.0} Start (Fork E {_key = 34, prio = -2800.0} Start (Fork E {_key = 35, prio = -2900.0} Start (Fork E {_key = 36, prio = -3000.0} Start (Fork E {_key = 37, prio = -3100.0} Start (Fork E {_key = 38, prio = -3200.0} Start (Fork E {_key = 39, prio = -3300.0} Start (Fork E {_key = 40, prio = -3400.0} Start (Fork E {_key = 41, prio = -3500.0} Start (Fork E {_key = 42, prio = -3600.0} Start (Fork E {_key = 43, prio = -3700.0} Start (Fork E {_key = 44, prio = -3800.0} Start (Fork E {_key = 45, prio = -3900.0} Start (Fork E {_key = 46, prio = -4000.0} Start (Fork E {_key = 47, prio = -4100.0} Start (Fork E {_key = 48, prio = -4200.0} Start (Fork E {_key = 49, prio = -4300.0} Start (Fork E {_key = 50, prio = -4400.0} Start (Fork E {_key = 51, prio = -4500.0} Start (Fork E {_key = 52, prio = -4600.0} Start (Fork E {_key = 53, prio = -4700.0} Start (Fork E {_key = 54, prio = -4800.0} Start (Fork E {_key = 55, prio = -4900.0} Start (Fork E {_key = 56, prio = -5000.0} Start (Fork E {_key = 57, prio = -5100.0} Start (Fork E {_key = 58, prio = -5200.0} Start (Fork E {_key = 59, prio = -5300.0} Start (Fork E {_key = 60, prio = -5400.0} Start (Fork E {_key = 61, prio = -5500.0} Start (Fork E {_key = 62, prio = -5600.0} Start (Fork E {_key = 63, prio = -5700.0} Start (Fork E {_key = 64, prio = -5800.0} Start (Fork E {_key = 65, prio = -5900.0} Start (Fork E {_key = 66, prio = -6000.0} Start (Fork E {_key = 67, prio = -6100.0} Start (Fork E {_key = 68, prio = -6200.0} Start (Fork E {_key = 69, prio = -6300.0} Start (Fork E {_key = 70, prio = -6400.0} Start (Fork E {_key = 71, prio = -6500.0} Start (Fork E {_key = 72, prio = -6600.0} Start (Fork E {_key = 73, prio = -6700.0} Start (Fork E {_key = 74, prio = -6800.0} Start (Fork E {_key = 75, prio = -6900.0} Start (Fork E {_key = 76, prio = -7000.0} Start (Fork E {_key = 77, prio = -7100.0} Start (Fork E {_key = 78, prio = -7200.0} Start (Fork E {_key = 79, prio = -7300.0} Start (Fork E {_key = 80, prio = -7400.0} Start (Fork E {_key = 81, prio = -7500.0} Start (Fork E {_key = 82, prio = -7600.0} Start (Fork E {_key = 83, prio = -7700.0} Start (Fork E {_key = 84, prio = -7800.0} Start (Fork E {_key = 85, prio = -7900.0} Start (Fork E {_key = 86, prio = -8000.0} Start (Fork E {_key = 87, prio = -8100.0} Start (Fork E {_key = 88, prio = -8200.0} Start (Fork E {_key = 89, prio = -8300.0} Start (Fork E {_key = 90, prio = -8400.0} Start (Fork E {_key = 91, prio = -8500.0} Start (Fork E {_key = 92, prio = -8600.0} Start (Fork E {_key = 93, prio = -8700.0} Start (Fork E {_key = 94, prio = -8800.0} Start (Fork E {_key = 95, prio = -8900.0} Start (Fork E {_key = 96, prio = -9000.0} Start (Fork E {_key = 97, prio = -9100.0} Start (Fork E {_key = 98, prio = -9200.0} Start (Fork E {_key = 99, prio = -9300.0} Start (Fork E {_key = 100, prio = -9400.0} Start (Fork E {_key = 101, prio = -9500.0} Start (Fork E {_key = 102, prio = -9600.0} Start (Fork E {_key = 103, prio = -9700.0} Start (Fork E {_key = 104, prio = -9800.0} Start (Fork E {_key = 105, prio = -9900.0} Start (Fork E {_key = 106, prio = -10000.0} Start (Fork E {_key = 107, prio = -10100.0} Start (Fork E {_key = 108, prio = -10200.0} Start (Fork E {_key = 109, prio = -10300.0} Start (Fork E {_key = 110, prio = -10400.0} Start (Fork E {_key = 111, prio = -10500.0} Start (Fork E {_key = 112, prio = -10600.0} Start (Fork E {_key = 113, prio = -10700.0} Start (Fork E {_key = 114, prio = -10800.0} Start (Fork E {_key = 115, prio = -10900.0} Start (Fork E {_key = 116, prio = -11000.0} Start (Fork E {_key = 117, prio = -11100.0} Start (Fork E {_key = 118, prio = -11200.0} Start (Fork E {_key = 119, prio = -11300.0} Start (Fork E {_key = 120, prio = -11400.0} Start (Fork E {_key = 121, prio = -11500.0} Start (Fork E {_key = 122, prio = -11600.0} Start (Fork E {_key = 123, prio = -11700.0} Start (Fork E {_key = 124, prio = -11800.0} Start (Fork E {_key = 125, prio = -11900.0} Start (Fork E {_key = 126, prio = -12000.0} Start (Fork E {_key = 127, prio = -12100.0} Start (Fork E {_key = 128, prio = -12200.0} Start (Fork E {_key = 129, prio = -12300.0} Start (Fork E {_key = 130, prio = -12400.0} Start (Fork E {_key = 131, prio = -12500.0} Start (Fork E {_key = 132, prio = -12600.0} Start (Fork E {_key = 133, prio = -12700.0} Start (Fork E {_key = 134, prio = -12800.0} Start (Fork E {_key = 135, prio = -12900.0} Start (Fork E {_key = 136, prio = -13000.0} Start (Fork E {_key = 137, prio = -13100.0} Start (Fork E {_key = 138, prio = -13200.0} Start (Fork E {_key = 139, prio = -13300.0} Start (Fork E {_key = 140, prio = -13400.0} Start (Fork E {_key = 141, prio = -13500.0} Start (Fork E {_key = 142, prio = -13600.0} Start (Fork E {_key = 143, prio = -13700.0} Start (Fork E {_key = 144, prio = -13800.0} Start (Fork E {_key = 145, prio = -13900.0} Start (Fork E {_key = 146, prio = -14000.0} Start (Fork E {_key = 147, prio = -14100.0} Start (Fork E {_key = 148, prio = -14200.0} Start (Fork E {_key = 149, prio = -14300.0} Start (Fork E {_key = 150, prio = -14400.0} Start (Fork E {_key = 151, prio = -14500.0} Start (Fork E {_key = 152, prio = -14600.0} Start (Fork E {_key = 153, prio = -14700.0} Start (Fork E {_key = 154, prio = -14800.0} Start (Fork E {_key = 155, prio = -14900.0} Start (Fork E {_key = 156, prio = -15000.0} Start (Fork E {_key = 157, prio = -15100.0} Start (Fork E {_key = 158, prio = -15200.0} Start (Fork E {_key = 159, prio = -15300.0} Start (Fork E {_key = 160, prio = -15400.0} Start (Fork E {_key = 161, prio = -15500.0} Start (Fork E {_key = 162, prio = -15600.0} Start (Fork E {_key = 163, prio = -15700.0} Start (Fork E {_key = 164, prio = -15800.0} Start (Fork E {_key = 165, prio = -15900.0} Start (Fork E {_key = 166, prio = -16000.0} Start (Fork E {_key = 167, prio = -16100.0} Start (Fork E {_key = 168, prio = -16200.0} Start (Fork E {_key = 169, prio = -16300.0} Start (Fork E {_key = 170, prio = -16400.0} Start (Fork E {_key = 171, prio = -16500.0} Start (Fork E {_key = 172, prio = -16600.0} Start (Fork E {_key = 173, prio = -16700.0} Start (Fork E {_key = 174, prio = -16800.0} Start (Fork E {_key = 175, prio = -16900.0} Start (Fork E {_key = 176, prio = -17000.0} Start (Fork E {_key = 177, prio = -17100.0} Start (Fork E {_key = 178, prio = -17200.0} Start (Fork E {_key = 179, prio = -17300.0} Start (Fork E {_key = 180, prio = -17400.0} Start (Fork E {_key = 181, prio = -17500.0} Start (Fork E {_key = 182, prio = -17600.0} Start (Fork E {_key = 183, prio = -17700.0} Start (Fork E {_key = 184, prio = -17800.0} Start (Fork E {_key = 185, prio = -17900.0} Start (Fork E {_key = 186, prio = -18000.0} Start (Fork E {_key = 187, prio = -18100.0} Start (Fork E {_key = 188, prio = -18200.0} Start (Fork E {_key = 189, prio = -18300.0} Start (Fork E {_key = 190, prio = -18400.0} Start (Fork E {_key = 191, prio = -18500.0} Start (Fork E {_key = 192, prio = -18600.0} Start (Fork E {_key = 193, prio = -18700.0} Start (Fork E {_key = 194, prio = -18800.0} Start (Fork E {_key = 195, prio = -18900.0} Start (Fork E {_key = 196, prio = -19000.0} Start (Fork E {_key = 197, prio = -19100.0} Start (Fork E {_key = 198, prio = -19200.0} Start (Fork E {_key = 199, prio = -19300.0} Start (Fork E {_key = 200, prio = -19400.0} Start Start)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+Winner (E {_key = 1, prio = 500.0}) (Fork (E {_key = 2, prio = 400.0}) Start (Fork (E {_key = 3, prio = 300.0}) Start (Fork (E {_key = 4, prio = 200.0}) Start (Fork (E {_key = 5, prio = 100.0}) Start (Fork (E {_key = 6, prio = 0.0}) Start (Fork (E {_key = 7, prio = -100.0}) Start (Fork (E {_key = 8, prio = -200.0}) Start (Fork (E {_key = 9, prio = -300.0}) Start (Fork (E {_key = 10, prio = -400.0}) Start (Fork (E {_key = 11, prio = -500.0}) Start (Fork (E {_key = 12, prio = -600.0}) Start (Fork (E {_key = 13, prio = -700.0}) Start (Fork (E {_key = 14, prio = -800.0}) Start (Fork (E {_key = 15, prio = -900.0}) Start (Fork (E {_key = 16, prio = -1000.0}) Start (Fork (E {_key = 17, prio = -1100.0}) Start (Fork (E {_key = 18, prio = -1200.0}) Start (Fork (E {_key = 19, prio = -1300.0}) Start (Fork (E {_key = 20, prio = -1400.0}) Start (Fork (E {_key = 21, prio = -1500.0}) Start (Fork (E {_key = 22, prio = -1600.0}) Start (Fork (E {_key = 23, prio = -1700.0}) Start (Fork (E {_key = 24, prio = -1800.0}) Start (Fork (E {_key = 25, prio = -1900.0}) Start (Fork (E {_key = 26, prio = -2000.0}) Start (Fork (E {_key = 27, prio = -2100.0}) Start (Fork (E {_key = 28, prio = -2200.0}) Start (Fork (E {_key = 29, prio = -2300.0}) Start (Fork (E {_key = 30, prio = -2400.0}) Start (Fork (E {_key = 31, prio = -2500.0}) Start (Fork (E {_key = 32, prio = -2600.0}) Start (Fork (E {_key = 33, prio = -2700.0}) Start (Fork (E {_key = 34, prio = -2800.0}) Start (Fork (E {_key = 35, prio = -2900.0}) Start (Fork (E {_key = 36, prio = -3000.0}) Start (Fork (E {_key = 37, prio = -3100.0}) Start (Fork (E {_key = 38, prio = -3200.0}) Start (Fork (E {_key = 39, prio = -3300.0}) Start (Fork (E {_key = 40, prio = -3400.0}) Start (Fork (E {_key = 41, prio = -3500.0}) Start (Fork (E {_key = 42, prio = -3600.0}) Start (Fork (E {_key = 43, prio = -3700.0}) Start (Fork (E {_key = 44, prio = -3800.0}) Start (Fork (E {_key = 45, prio = -3900.0}) Start (Fork (E {_key = 46, prio = -4000.0}) Start (Fork (E {_key = 47, prio = -4100.0}) Start (Fork (E {_key = 48, prio = -4200.0}) Start (Fork (E {_key = 49, prio = -4300.0}) Start (Fork (E {_key = 50, prio = -4400.0}) Start (Fork (E {_key = 51, prio = -4500.0}) Start (Fork (E {_key = 52, prio = -4600.0}) Start (Fork (E {_key = 53, prio = -4700.0}) Start (Fork (E {_key = 54, prio = -4800.0}) Start (Fork (E {_key = 55, prio = -4900.0}) Start (Fork (E {_key = 56, prio = -5000.0}) Start (Fork (E {_key = 57, prio = -5100.0}) Start (Fork (E {_key = 58, prio = -5200.0}) Start (Fork (E {_key = 59, prio = -5300.0}) Start (Fork (E {_key = 60, prio = -5400.0}) Start (Fork (E {_key = 61, prio = -5500.0}) Start (Fork (E {_key = 62, prio = -5600.0}) Start (Fork (E {_key = 63, prio = -5700.0}) Start (Fork (E {_key = 64, prio = -5800.0}) Start (Fork (E {_key = 65, prio = -5900.0}) Start (Fork (E {_key = 66, prio = -6000.0}) Start (Fork (E {_key = 67, prio = -6100.0}) Start (Fork (E {_key = 68, prio = -6200.0}) Start (Fork (E {_key = 69, prio = -6300.0}) Start (Fork (E {_key = 70, prio = -6400.0}) Start (Fork (E {_key = 71, prio = -6500.0}) Start (Fork (E {_key = 72, prio = -6600.0}) Start (Fork (E {_key = 73, prio = -6700.0}) Start (Fork (E {_key = 74, prio = -6800.0}) Start (Fork (E {_key = 75, prio = -6900.0}) Start (Fork (E {_key = 76, prio = -7000.0}) Start (Fork (E {_key = 77, prio = -7100.0}) Start (Fork (E {_key = 78, prio = -7200.0}) Start (Fork (E {_key = 79, prio = -7300.0}) Start (Fork (E {_key = 80, prio = -7400.0}) Start (Fork (E {_key = 81, prio = -7500.0}) Start (Fork (E {_key = 82, prio = -7600.0}) Start (Fork (E {_key = 83, prio = -7700.0}) Start (Fork (E {_key = 84, prio = -7800.0}) Start (Fork (E {_key = 85, prio = -7900.0}) Start (Fork (E {_key = 86, prio = -8000.0}) Start (Fork (E {_key = 87, prio = -8100.0}) Start (Fork (E {_key = 88, prio = -8200.0}) Start (Fork (E {_key = 89, prio = -8300.0}) Start (Fork (E {_key = 90, prio = -8400.0}) Start (Fork (E {_key = 91, prio = -8500.0}) Start (Fork (E {_key = 92, prio = -8600.0}) Start (Fork (E {_key = 93, prio = -8700.0}) Start (Fork (E {_key = 94, prio = -8800.0}) Start (Fork (E {_key = 95, prio = -8900.0}) Start (Fork (E {_key = 96, prio = -9000.0}) Start (Fork (E {_key = 97, prio = -9100.0}) Start (Fork (E {_key = 98, prio = -9200.0}) Start (Fork (E {_key = 99, prio = -9300.0}) Start (Fork (E {_key = 100, prio = -9400.0}) Start (Fork (E {_key = 101, prio = -9500.0}) Start (Fork (E {_key = 102, prio = -9600.0}) Start (Fork (E {_key = 103, prio = -9700.0}) Start (Fork (E {_key = 104, prio = -9800.0}) Start (Fork (E {_key = 105, prio = -9900.0}) Start (Fork (E {_key = 106, prio = -10000.0}) Start (Fork (E {_key = 107, prio = -10100.0}) Start (Fork (E {_key = 108, prio = -10200.0}) Start (Fork (E {_key = 109, prio = -10300.0}) Start (Fork (E {_key = 110, prio = -10400.0}) Start (Fork (E {_key = 111, prio = -10500.0}) Start (Fork (E {_key = 112, prio = -10600.0}) Start (Fork (E {_key = 113, prio = -10700.0}) Start (Fork (E {_key = 114, prio = -10800.0}) Start (Fork (E {_key = 115, prio = -10900.0}) Start (Fork (E {_key = 116, prio = -11000.0}) Start (Fork (E {_key = 117, prio = -11100.0}) Start (Fork (E {_key = 118, prio = -11200.0}) Start (Fork (E {_key = 119, prio = -11300.0}) Start (Fork (E {_key = 120, prio = -11400.0}) Start (Fork (E {_key = 121, prio = -11500.0}) Start (Fork (E {_key = 122, prio = -11600.0}) Start (Fork (E {_key = 123, prio = -11700.0}) Start (Fork (E {_key = 124, prio = -11800.0}) Start (Fork (E {_key = 125, prio = -11900.0}) Start (Fork (E {_key = 126, prio = -12000.0}) Start (Fork (E {_key = 127, prio = -12100.0}) Start (Fork (E {_key = 128, prio = -12200.0}) Start (Fork (E {_key = 129, prio = -12300.0}) Start (Fork (E {_key = 130, prio = -12400.0}) Start (Fork (E {_key = 131, prio = -12500.0}) Start (Fork (E {_key = 132, prio = -12600.0}) Start (Fork (E {_key = 133, prio = -12700.0}) Start (Fork (E {_key = 134, prio = -12800.0}) Start (Fork (E {_key = 135, prio = -12900.0}) Start (Fork (E {_key = 136, prio = -13000.0}) Start (Fork (E {_key = 137, prio = -13100.0}) Start (Fork (E {_key = 138, prio = -13200.0}) Start (Fork (E {_key = 139, prio = -13300.0}) Start (Fork (E {_key = 140, prio = -13400.0}) Start (Fork (E {_key = 141, prio = -13500.0}) Start (Fork (E {_key = 142, prio = -13600.0}) Start (Fork (E {_key = 143, prio = -13700.0}) Start (Fork (E {_key = 144, prio = -13800.0}) Start (Fork (E {_key = 145, prio = -13900.0}) Start (Fork (E {_key = 146, prio = -14000.0}) Start (Fork (E {_key = 147, prio = -14100.0}) Start (Fork (E {_key = 148, prio = -14200.0}) Start (Fork (E {_key = 149, prio = -14300.0}) Start (Fork (E {_key = 150, prio = -14400.0}) Start (Fork (E {_key = 151, prio = -14500.0}) Start (Fork (E {_key = 152, prio = -14600.0}) Start (Fork (E {_key = 153, prio = -14700.0}) Start (Fork (E {_key = 154, prio = -14800.0}) Start (Fork (E {_key = 155, prio = -14900.0}) Start (Fork (E {_key = 156, prio = -15000.0}) Start (Fork (E {_key = 157, prio = -15100.0}) Start (Fork (E {_key = 158, prio = -15200.0}) Start (Fork (E {_key = 159, prio = -15300.0}) Start (Fork (E {_key = 160, prio = -15400.0}) Start (Fork (E {_key = 161, prio = -15500.0}) Start (Fork (E {_key = 162, prio = -15600.0}) Start (Fork (E {_key = 163, prio = -15700.0}) Start (Fork (E {_key = 164, prio = -15800.0}) Start (Fork (E {_key = 165, prio = -15900.0}) Start (Fork (E {_key = 166, prio = -16000.0}) Start (Fork (E {_key = 167, prio = -16100.0}) Start (Fork (E {_key = 168, prio = -16200.0}) Start (Fork (E {_key = 169, prio = -16300.0}) Start (Fork (E {_key = 170, prio = -16400.0}) Start (Fork (E {_key = 171, prio = -16500.0}) Start (Fork (E {_key = 172, prio = -16600.0}) Start (Fork (E {_key = 173, prio = -16700.0}) Start (Fork (E {_key = 174, prio = -16800.0}) Start (Fork (E {_key = 175, prio = -16900.0}) Start (Fork (E {_key = 176, prio = -17000.0}) Start (Fork (E {_key = 177, prio = -17100.0}) Start (Fork (E {_key = 178, prio = -17200.0}) Start (Fork (E {_key = 179, prio = -17300.0}) Start (Fork (E {_key = 180, prio = -17400.0}) Start (Fork (E {_key = 181, prio = -17500.0}) Start (Fork (E {_key = 182, prio = -17600.0}) Start (Fork (E {_key = 183, prio = -17700.0}) Start (Fork (E {_key = 184, prio = -17800.0}) Start (Fork (E {_key = 185, prio = -17900.0}) Start (Fork (E {_key = 186, prio = -18000.0}) Start (Fork (E {_key = 187, prio = -18100.0}) Start (Fork (E {_key = 188, prio = -18200.0}) Start (Fork (E {_key = 189, prio = -18300.0}) Start (Fork (E {_key = 190, prio = -18400.0}) Start (Fork (E {_key = 191, prio = -18500.0}) Start (Fork (E {_key = 192, prio = -18600.0}) Start (Fork (E {_key = 193, prio = -18700.0}) Start (Fork (E {_key = 194, prio = -18800.0}) Start (Fork (E {_key = 195, prio = -18900.0}) Start (Fork (E {_key = 196, prio = -19000.0}) Start (Fork (E {_key = 197, prio = -19100.0}) Start (Fork (E {_key = 198, prio = -19200.0}) Start (Fork (E {_key = 199, prio = -19300.0}) Start (Fork (E {_key = 200, prio = -19400.0}) Start Start)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
 After atMost
index 12a0f4e..077c570 100644 (file)
@@ -80,7 +80,7 @@
 
 (LiteralsTest.hs:15:3,ITequal,[=]),
 
-(LiteralsTest.hs:15:5-8,ITrational FL {fl_text = "0.00", fl_value = 0 % 1},[0.00]),
+(LiteralsTest.hs:15:5-8,ITrational (FL {fl_text = "0.00", fl_value = 0 % 1}),[0.00]),
 
 (LiteralsTest.hs:17:1,ITsemi,[]),
 
 
 (LiteralsTest.hs:22:12,ITequal,[=]),
 
-(LiteralsTest.hs:22:14-18,ITprimfloat FL {fl_text = "3.20", fl_value = 16 % 5},[3.20#]),
+(LiteralsTest.hs:22:14-18,ITprimfloat (FL {fl_text = "3.20", fl_value = 16 % 5}),[3.20#]),
 
 (LiteralsTest.hs:23:5,ITsemi,[]),
 
 
 (LiteralsTest.hs:23:13,ITequal,[=]),
 
-(LiteralsTest.hs:23:15-21,ITprimdouble FL {fl_text = "04.16", fl_value = 104 % 25},[04.16##]),
+(LiteralsTest.hs:23:15-21,ITprimdouble (FL {fl_text = "04.16", fl_value = 104 % 25}),[04.16##]),
 
 (LiteralsTest.hs:24:5,ITsemi,[]),