From f2710aa8d6a4f02e3af1cd7222f6bc8f2c084e23 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 26 Jul 2017 16:21:57 +0200 Subject: [PATCH] Fix the trace displaying only the first stage. Simplify types in TypecheckingHelper. Refactor LaunchTypechecking to use CollectTypesStep. --- build.xml | 29 +- .../jetbrains.mps.typechecking.build.mps | 6 - .../models/ui.plugin.mps | 66 +- .../models/typechecking.mps | 1382 ++++++++++------- 4 files changed, 836 insertions(+), 647 deletions(-) diff --git a/build.xml b/build.xml index ca17eabc..39849238 100644 --- a/build.xml +++ b/build.xml @@ -538,10 +538,12 @@ + + @@ -1929,7 +1931,7 @@ - + @@ -1942,20 +1944,13 @@ + - - - - - - - - @@ -1966,7 +1961,6 @@ - @@ -1975,14 +1969,13 @@ - - + @@ -1995,21 +1988,13 @@ + - - - - - - - - - @@ -2022,7 +2007,6 @@ - @@ -2680,6 +2664,7 @@ + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps index 0b0fb4b3..51dc433d 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps @@ -826,12 +826,6 @@ - - - - - - diff --git a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps index 2f3808b7..51aef818 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps @@ -27437,8 +27437,10 @@ - - + + + + @@ -27466,18 +27468,6 @@ - - - - - - - - - - - - @@ -27496,6 +27486,24 @@ + + + + + + + + + + + + + + + + + + @@ -27572,18 +27580,20 @@ - - - - - - - - - + + + + - - + + + + + + + + + @@ -27598,14 +27608,14 @@ - + - - + + diff --git a/typechecking/solutions/jetbrains.mps.typechecking/models/typechecking.mps b/typechecking/solutions/jetbrains.mps.typechecking/models/typechecking.mps index f6190256..3cd5f1e4 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/models/typechecking.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking/models/typechecking.mps @@ -88,9 +88,6 @@ - - - @@ -321,6 +318,7 @@ + @@ -436,10 +434,21 @@ + + + + + + + + + + + @@ -1889,20 +1898,6 @@ - - - - - - - - - - - - - - @@ -2134,6 +2129,20 @@ + + + + + + + + + + + + + + @@ -2430,314 +2439,38 @@ - - - - - + + + + - + - - - + + + - - - - - - + + + + + + - - - - - - - + + - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2749,6 +2482,320 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3382,14 +3429,36 @@ - + - - + + + + + + + + + + + + + + + + + + + + + + + + @@ -3421,14 +3490,9 @@ - - - - - - - - + + + @@ -3444,8 +3508,12 @@ - - + + + + + + @@ -3457,7 +3525,7 @@ - + @@ -3469,8 +3537,12 @@ - - + + + + + + @@ -3494,8 +3566,12 @@ - - + + + + + + @@ -3504,11 +3580,9 @@ - - - - - + + + @@ -3522,30 +3596,38 @@ - - - - + + + + + + + + + + + + - - - - - + + + + + - + - - - + + + - + - - + + - + @@ -3554,31 +3636,31 @@ - + - + - - - - - + + + - + - + - + - - - + + + + + @@ -3590,18 +3672,17 @@ - - + + + - - - - - + + + @@ -3630,8 +3711,9 @@ - - + + + @@ -3639,13 +3721,6 @@ - - - - - - - @@ -3654,29 +3729,21 @@ - - + + + - - + + + - - - - - - - - - - @@ -3709,21 +3776,17 @@ - - + + + + + + + - - - - - - - - - - - - + + + @@ -3816,13 +3879,6 @@ - - - - - - - @@ -4169,26 +4225,46 @@ - - - - - + + + - + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + - - + + + + + + @@ -4648,17 +4724,44 @@ + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4685,8 +4788,10 @@ - - + + + + @@ -4741,9 +4846,11 @@ - - - + + + + + @@ -4792,25 +4899,7 @@ - - - - - - - - - - - - - - - - - - - + @@ -4849,9 +4938,30 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + @@ -4861,8 +4971,8 @@ - - + + @@ -4883,8 +4993,8 @@ - - + + @@ -4953,15 +5063,6 @@ - - - - - - - - - @@ -5014,8 +5115,10 @@ - - + + + + @@ -7394,9 +7497,7 @@ - - - + @@ -7421,19 +7522,53 @@ - - - + + - - + + + + + + - - + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7469,17 +7604,15 @@ - - - - + + + + - - - - - - + + + + @@ -7634,103 +7767,163 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -7785,13 +7978,13 @@ - - - - + + + + - - + + @@ -7804,20 +7997,27 @@ - - - + - - - - + + + + + + + + + + + - - - - + + + + + +