[GHC] #7788: Recursive type family causes <<loop>>
GHC
ghc-devs at haskell.org
Tue Dec 30 17:48:21 UTC 2014
- Previous message: [GHC] #7788: Recursive type family causes <<loop>>
- Next message: [GHC] Batch modify: #344, #602, #1012, #1016, #1330, #1365, #1377, #1379, #1420, #1534, #1572, #1574, #1600, #1612, #1631, #1693, #1727, #1820, #1853, #1880, #1883, #1885, #1894, #2028, #2064, #2075, #2119, #2123, #2135, #2140, #2147, #2159, #2168, #2215, #2224, #2256, #2258, #2260, #2269, #2273, #2289, #2333, #2340, #2345, #2346, #2365, #2370, #2374, #2387, #2437, #2439, #2459, #2460, #2514, #2522, #2530, #2531, #2598, #2600, #2640, #2641, #2642, #2648, #2710, #2721, #2731, #2737, #2776, #2803, #2805, #2867, #2933, #2940, #2945, #2946, #2950, #2968, #2986, #2988, #2991, #3000, #3034, #3061, #3070, #3073, #3107, #3122, #3123, #3138, #3140, #3192, #3238, #3251, #3282, #3314, #3321, #3351, #3355, #3452, #3458, #3533, #3571, #3606, #3711, #3781, #3870, #3960, #4017, #4022, #8782
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
#7788: Recursive type family causes <<loop>>
-------------------------------------+-------------------------------------
Reporter: shachaf | Owner: simonpj
Type: bug | Status: new
Priority: high | Milestone: 7.10.1
Component: Compiler (Type | Version: 7.6.2
checker) | Keywords:
Resolution: | Architecture:
Operating System: Unknown/Multiple | Unknown/Multiple
Type of failure: Incorrect result | Test Case:
at runtime | Blocking:
Blocked By: | Differential Revisions:
Related Tickets: |
-------------------------------------+-------------------------------------
Comment (by simonpj):
Richard, for the evaluation-depth thing, I think that all that is
necessary is:
* Call `bumpSubGoalDepth` on the `fe_loc` field of `fmode` in
`try_to_reduce` in `TcFlatten.flatten_exact_fam_app_fully`.
* And call `subGoalDepthExceeded` in the same function.
Or the depth-exceeded check could be in `flatten_one`.
Might you do this?
Simon
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7788#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
- Previous message: [GHC] #7788: Recursive type family causes <<loop>>
- Next message: [GHC] Batch modify: #344, #602, #1012, #1016, #1330, #1365, #1377, #1379, #1420, #1534, #1572, #1574, #1600, #1612, #1631, #1693, #1727, #1820, #1853, #1880, #1883, #1885, #1894, #2028, #2064, #2075, #2119, #2123, #2135, #2140, #2147, #2159, #2168, #2215, #2224, #2256, #2258, #2260, #2269, #2273, #2289, #2333, #2340, #2345, #2346, #2365, #2370, #2374, #2387, #2437, #2439, #2459, #2460, #2514, #2522, #2530, #2531, #2598, #2600, #2640, #2641, #2642, #2648, #2710, #2721, #2731, #2737, #2776, #2803, #2805, #2867, #2933, #2940, #2945, #2946, #2950, #2968, #2986, #2988, #2991, #3000, #3034, #3061, #3070, #3073, #3107, #3122, #3123, #3138, #3140, #3192, #3238, #3251, #3282, #3314, #3321, #3351, #3355, #3452, #3458, #3533, #3571, #3606, #3711, #3781, #3870, #3960, #4017, #4022, #8782
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the ghc-tickets
mailing list