Commit a647d30c authored by pcapriotti's avatar pcapriotti
Browse files

Add testcase for #5948.

parent a312fd1b
{-# LANGUAGE DataKinds, TypeOperators #-}
module T5948 where
type Foo = (Int ': '[])
type Bar = Int ': '[]
......@@ -31,5 +31,4 @@ test('T5881', normal, run_command, ['$MAKE -s --no-print-directory T5881'])
test('T5716', normal, compile_fail, [''])
test('T5937', normal, compile, [''])
test('T5935', normal, compile, [''])
test('T5948', normal, compile, [''])
Supports Markdown
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