diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2021-06-16 12:23:07 +0800 |
|---|---|---|
| committer | Inari Listenmaa <inari.listenmaa@gmail.com> | 2021-06-16 12:23:07 +0800 |
| commit | f23031ea1d0fc1171d15f115b642adf42ed454fa (patch) | |
| tree | ae2da08460e1e2d12b7d2199f596a65119ae085b | |
| parent | c3153134b73a21a1059dc6896b35097f37dfdd14 (diff) | |
Add command `ai f` to trigger error msg
| -rw-r--r-- | testsuite/compiler/typecheck/abstract/non-abstract-terms.gfs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/testsuite/compiler/typecheck/abstract/non-abstract-terms.gfs b/testsuite/compiler/typecheck/abstract/non-abstract-terms.gfs index 0b07b7ed4..1edc94e02 100644 --- a/testsuite/compiler/typecheck/abstract/non-abstract-terms.gfs +++ b/testsuite/compiler/typecheck/abstract/non-abstract-terms.gfs @@ -1,2 +1,5 @@ i -src testsuite/compiler/typecheck/abstract/PolyTypes.gf
-i -src testsuite/compiler/typecheck/abstract/RecTypes.gf
\ No newline at end of file +ai f
+
+i -src testsuite/compiler/typecheck/abstract/RecTypes.gf
+ai f
\ No newline at end of file |