diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 22:56:42 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 22:56:42 +0200 |
| commit | 128cf82881352cc1e9061db97fe3762315cfd0c9 (patch) | |
| tree | 60f0efc4d587a58359b39edba470fd55a0d8c69a /testdata/Internals.out | |
| parent | e2ef3e4de33e15627ce21c7c506650b2f8123a1c (diff) | |
removing coloring from .out files
Diffstat (limited to 'testdata/Internals.out')
| -rw-r--r-- | testdata/Internals.out | 1154 |
1 files changed, 737 insertions, 417 deletions
diff --git a/testdata/Internals.out b/testdata/Internals.out index 520e7204..cec9ea8d 100644 --- a/testdata/Internals.out +++ b/testdata/Internals.out | |||
| @@ -204,433 +204,753 @@ hlistConsCase | |||
| 204 | . forall (c :: _) -> (a -> HList b -> c) -> HList (Cons a b) -> c | 204 | . forall (c :: _) -> (a -> HList b -> c) -> HList (Cons a b) -> c |
| 205 | main is not found | 205 | main is not found |
| 206 | ------------ trace | 206 | ------------ trace |
| 207 | typeAnn :: [32mforall a . [32ma[0;32m -> [32ma[0;32m[0m | 207 | typeAnn :: forall a . a -> a |
| 208 | parens :: [32mforall a . [32ma[0;32m -> [32ma[0;32m[0m | 208 | parens :: forall a . a -> a |
| 209 | undefined :: [32mforall a . [32ma[0;32m[0m | 209 | undefined :: forall a . a |
| 210 | primFix :: [32mforall a . ([32ma[0;32m -> [32ma[0;32m) -> [32ma[0;32m[0m | 210 | primFix :: forall a . (a -> a) -> a |
| 211 | 'Unit :: [32mType[0m | 211 | 'Unit :: Type |
| 212 | TT :: [32mUnit[0m | 212 | TT :: Unit |
| 213 | 'UnitCase :: [32mforall (a :: Unit -> Type) -> [32m[32ma[0;32m [32m'TT[0;32m[0;32m -> forall (b :: Unit) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 213 | 'UnitCase :: forall (a :: Unit -> Type) -> a 'TT -> forall (b :: Unit) -> a b |
| 214 | match'Unit :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32mUnit[0;32m[0;32m -> forall b -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 214 | match'Unit :: forall (a :: Type -> Type) -> a Unit -> forall b -> a b -> a b |
| 215 | 'String :: [32mType[0m | 215 | 'String :: Type |
| 216 | 'StringCase :: [32mforall (a :: String -> Type) (b :: String) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 216 | 'StringCase :: forall (a :: String -> Type) (b :: String) -> a b |
| 217 | match'String :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32mString[0;32m[0;32m -> forall b -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 217 | match'String :: forall (a :: Type -> Type) -> a String -> forall b -> a b -> a b |
| 218 | 'Empty :: [32mString -> Type[0m | 218 | 'Empty :: String -> Type |
| 219 | 'EmptyCase | 219 | 'EmptyCase |
| 220 | :: [32mforall (a :: String) . forall (b :: Empty [32ma[0;32m -> Type) (c :: Empty [32ma[0;32m) -> [32m[32mb[0;32m [32m[32mc[0;32m[0;32m[0;32m[0m | 220 | :: forall (a :: String) . forall (b :: Empty a -> Type) (c :: Empty a) -> b c |
| 221 | match'Empty | 221 | match'Empty |
| 222 | :: [32mforall (a :: Type -> Type) | 222 | :: forall (a :: Type -> Type) |
| 223 | -> (forall (b :: String) -> [32m[32ma[0;32m [32m(Empty [32mb[0;32m)[0;32m[0;32m) -> forall c -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m[0m | 223 | -> (forall (b :: String) -> a (Empty b)) -> forall c -> a c -> a c |
| 224 | unsafeCoerce :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m[0m | 224 | unsafeCoerce :: forall a b . a -> b |
| 225 | 'EqCT :: [32mforall a -> [32ma[0;32m -> [32ma[0;32m -> Type[0m | 225 | 'EqCT :: forall a -> a -> a -> Type |
| 226 | parEval :: [32mforall a -> [32ma[0;32m -> [32ma[0;32m -> [32ma[0;32m[0m | 226 | parEval :: forall a -> a -> a -> a |
| 227 | 'T2 :: [32mType -> Type -> Type[0m | 227 | 'T2 :: Type -> Type -> Type |
| 228 | match'Type :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32mType[0;32m[0;32m -> forall b -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 228 | match'Type :: forall (a :: Type -> Type) -> a Type -> forall b -> a b -> a b |
| 229 | 'EqCTt :: [32mforall a . [32ma[0;32m -> [32ma[0;32m -> Type[0m | 229 | 'EqCTt :: forall a . a -> a -> Type |
| 230 | t2C :: [32mUnit -> Unit -> Unit[0m | 230 | t2C :: Unit -> Unit -> Unit |
| 231 | 'Int :: [32mType[0m | 231 | 'Int :: Type |
| 232 | 'IntCase :: [32mforall (a :: Int -> Type) (b :: Int) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 232 | 'IntCase :: forall (a :: Int -> Type) (b :: Int) -> a b |
| 233 | match'Int :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32mInt[0;32m[0;32m -> forall b -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 233 | match'Int :: forall (a :: Type -> Type) -> a Int -> forall b -> a b -> a b |
| 234 | 'Word :: [32mType[0m | 234 | 'Word :: Type |
| 235 | 'WordCase :: [32mforall (a :: Word -> Type) (b :: Word) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 235 | 'WordCase :: forall (a :: Word -> Type) (b :: Word) -> a b |
| 236 | match'Word :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32mWord[0;32m[0;32m -> forall b -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 236 | match'Word :: forall (a :: Type -> Type) -> a Word -> forall b -> a b -> a b |
| 237 | 'Float :: [32mType[0m | 237 | 'Float :: Type |
| 238 | 'FloatCase :: [32mforall (a :: Float -> Type) (b :: Float) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 238 | 'FloatCase :: forall (a :: Float -> Type) (b :: Float) -> a b |
| 239 | match'Float :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32mFloat[0;32m[0;32m -> forall b -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 239 | match'Float :: forall (a :: Type -> Type) -> a Float -> forall b -> a b -> a b |
| 240 | 'Char :: [32mType[0m | 240 | 'Char :: Type |
| 241 | 'CharCase :: [32mforall (a :: Char -> Type) (b :: Char) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 241 | 'CharCase :: forall (a :: Char -> Type) (b :: Char) -> a b |
| 242 | match'Char :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32mChar[0;32m[0;32m -> forall b -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 242 | match'Char :: forall (a :: Type -> Type) -> a Char -> forall b -> a b -> a b |
| 243 | 'Bool :: [32mType[0m | 243 | 'Bool :: Type |
| 244 | False :: [32mBool[0m | 244 | False :: Bool |
| 245 | True :: [32mBool[0m | 245 | True :: Bool |
| 246 | 'BoolCase | 246 | 'BoolCase |
| 247 | :: [32mforall (a :: Bool -> Type) | 247 | :: forall (a :: Bool -> Type) |
| 248 | -> [32m[32ma[0;32m [32m'False[0;32m[0;32m -> [32m[32ma[0;32m [32m'True[0;32m[0;32m -> forall (b :: Bool) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 248 | -> a 'False -> a 'True -> forall (b :: Bool) -> a b |
| 249 | match'Bool :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32mBool[0;32m[0;32m -> forall b -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 249 | match'Bool :: forall (a :: Type -> Type) -> a Bool -> forall b -> a b -> a b |
| 250 | 'Ordering :: [32mType[0m | 250 | 'Ordering :: Type |
| 251 | LT :: [32mOrdering[0m | 251 | LT :: Ordering |
| 252 | EQ :: [32mOrdering[0m | 252 | EQ :: Ordering |
| 253 | GT :: [32mOrdering[0m | 253 | GT :: Ordering |
| 254 | 'OrderingCase | 254 | 'OrderingCase |
| 255 | :: [32mforall (a :: Ordering -> Type) | 255 | :: forall (a :: Ordering -> Type) |
| 256 | -> [32m[32ma[0;32m [32m'LT[0;32m[0;32m -> [32m[32ma[0;32m [32m'EQ[0;32m[0;32m -> [32m[32ma[0;32m [32m'GT[0;32m[0;32m -> forall (b :: Ordering) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 256 | -> a 'LT -> a 'EQ -> a 'GT -> forall (b :: Ordering) -> a b |
| 257 | match'Ordering | 257 | match'Ordering |
| 258 | :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32mOrdering[0;32m[0;32m -> forall b -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 258 | :: forall (a :: Type -> Type) -> a Ordering -> forall b -> a b -> a b |
| 259 | 'Nat :: [32mType[0m | 259 | 'Nat :: Type |
| 260 | Zero :: [32mNat[0m | 260 | Zero :: Nat |
| 261 | Succ :: [32mNat -> Nat[0m | 261 | Succ :: Nat -> Nat |
| 262 | 'NatCase | 262 | 'NatCase |
| 263 | :: [32mforall (a :: Nat -> Type) | 263 | :: forall (a :: Nat -> Type) |
| 264 | -> [32m[32ma[0;32m [32m0[0;32m[0;32m -> (forall (b :: Nat) -> [32m[32ma[0;32m [32m('Succ [32mb[0;32m)[0;32m[0;32m) -> forall (c :: Nat) -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m[0m | 264 | -> a 0 -> (forall (b :: Nat) -> a ('Succ b)) -> forall (c :: Nat) -> a c |
| 265 | match'Nat :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32mNat[0;32m[0;32m -> forall b -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 265 | match'Nat :: forall (a :: Type -> Type) -> a Nat -> forall b -> a b -> a b |
| 266 | primIntToWord :: [32mInt -> Word[0m | 266 | primIntToWord :: Int -> Word |
| 267 | primIntToFloat :: [32mInt -> Float[0m | 267 | primIntToFloat :: Int -> Float |
| 268 | primIntToNat :: [32mInt -> Nat[0m | 268 | primIntToNat :: Int -> Nat |
| 269 | primCompareInt :: [32mInt -> Int -> Ordering[0m | 269 | primCompareInt :: Int -> Int -> Ordering |
| 270 | primCompareWord :: [32mWord -> Word -> Ordering[0m | 270 | primCompareWord :: Word -> Word -> Ordering |
| 271 | primCompareFloat :: [32mFloat -> Float -> Ordering[0m | 271 | primCompareFloat :: Float -> Float -> Ordering |
| 272 | primCompareChar :: [32mChar -> Char -> Ordering[0m | 272 | primCompareChar :: Char -> Char -> Ordering |
| 273 | primCompareString :: [32mString -> String -> Ordering[0m | 273 | primCompareString :: String -> String -> Ordering |
| 274 | primNegateInt :: [32mInt -> Int[0m | 274 | primNegateInt :: Int -> Int |
| 275 | primNegateWord :: [32mWord -> Word[0m | 275 | primNegateWord :: Word -> Word |
| 276 | primNegateFloat :: [32mFloat -> Float[0m | 276 | primNegateFloat :: Float -> Float |
| 277 | primAddInt :: [32mInt -> Int -> Int[0m | 277 | primAddInt :: Int -> Int -> Int |
| 278 | primSubInt :: [32mInt -> Int -> Int[0m | 278 | primSubInt :: Int -> Int -> Int |
| 279 | primModInt :: [32mInt -> Int -> Int[0m | 279 | primModInt :: Int -> Int -> Int |
| 280 | primSqrtFloat :: [32mFloat -> Float[0m | 280 | primSqrtFloat :: Float -> Float |
| 281 | primRound :: [32mFloat -> Int[0m | 281 | primRound :: Float -> Int |
| 282 | primIfThenElse :: [32mforall a . Bool -> [32ma[0;32m -> [32ma[0;32m -> [32ma[0;32m[0m | 282 | primIfThenElse :: forall a . Bool -> a -> a -> a |
| 283 | isEQ :: [32mOrdering -> Bool[0m | 283 | isEQ :: Ordering -> Bool |
| 284 | 'Num :: [32mType -> Type[0m | 284 | 'Num :: Type -> Type |
| 285 | fromInt :: [32mforall a . [32mNum [32m[32ma[0;32m[0;32m[0;32m => Int -> [32ma[0;32m[0m | 285 | fromInt :: forall a . Num a => Int -> a |
| 286 | compare :: [32mforall a . [32mNum [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m -> [32ma[0;32m -> Ordering[0m | 286 | compare :: forall a . Num a => a -> a -> Ordering |
| 287 | negate :: [32mforall a . [32mNum [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m -> [32ma[0;32m[0m | 287 | negate :: forall a . Num a => a -> a |
| 288 | 'Eq :: [32mType -> Type[0m | 288 | 'Eq :: Type -> Type |
| 289 | == :: [32mforall a . [32mEq [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m -> [32ma[0;32m -> Bool[0m | 289 | == :: forall a . Eq a => a -> a -> Bool |
| 290 | 'List :: [32mType -> Type[0m | 290 | 'List :: Type -> Type |
| 291 | Nil :: [32mforall a . List [32ma[0;32m[0m | 291 | Nil :: forall a . List a |
| 292 | Cons :: [32mforall a . [32ma[0;32m -> List [32ma[0;32m -> List [32ma[0;32m[0m | 292 | Cons :: forall a . a -> List a -> List a |
| 293 | 'ListCase | 293 | 'ListCase |
| 294 | :: [32mforall a | 294 | :: forall a |
| 295 | . forall (b :: List [32ma[0;32m -> Type) | 295 | . forall (b :: List a -> Type) |
| 296 | -> [32m[32mb[0;32m [32m'Nil[0;32m[0;32m | 296 | -> b 'Nil |
| 297 | -> (forall (c :: [32ma[0;32m) (d :: List [32ma[0;32m) -> [32m[32mb[0;32m [32m('Cons [32mc[0;32m [32md[0;32m)[0;32m[0;32m) | 297 | -> (forall (c :: a) (d :: List a) -> b ('Cons c d)) |
| 298 | -> forall (e :: List [32ma[0;32m) -> [32m[32mb[0;32m [32m[32me[0;32m[0;32m[0;32m[0m | 298 | -> forall (e :: List a) -> b e |
| 299 | match'List | 299 | match'List |
| 300 | :: [32mforall (a :: Type -> Type) | 300 | :: forall (a :: Type -> Type) |
| 301 | -> (forall b -> [32m[32ma[0;32m [32m(List [32mb[0;32m)[0;32m[0;32m) -> forall c -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m[0m | 301 | -> (forall b -> a (List b)) -> forall c -> a c -> a c |
| 302 | 'HList :: [32mList Type -> Type[0m | 302 | 'HList :: List Type -> Type |
| 303 | HNil :: [32m()[0m | 303 | HNil :: () |
| 304 | HCons :: [32mforall a (b :: List Type) . [32ma[0;32m -> HList [32mb[0;32m -> HList ('Cons [32ma[0;32m [32mb[0;32m)[0m | 304 | HCons :: forall a (b :: List Type) . a -> HList b -> HList ('Cons a b) |
| 305 | 'HListCase | 305 | 'HListCase |
| 306 | :: [32mforall (a :: forall (b :: List Type) -> HList [32mb[0;32m -> Type) | 306 | :: forall (a :: forall (b :: List Type) -> HList b -> Type) |
| 307 | -> [32m[32m[32ma[0;32m [32m'Nil[0;32m[0;32m [32m()[0;32m[0;32m | 307 | -> a 'Nil () |
| 308 | -> (forall c (d :: List Type) | 308 | -> (forall c (d :: List Type) |
| 309 | . forall (e :: [32mc[0;32m) (f :: HList [32md[0;32m) -> [32m[32m[32ma[0;32m [32m('Cons [32mc[0;32m [32md[0;32m)[0;32m[0;32m [32m('HCons [32mc[0;32m [32md[0;32m [32me[0;32m [32mf[0;32m)[0;32m[0;32m) | 309 | . forall (e :: c) (f :: HList d) -> a ('Cons c d) ('HCons c d e f)) |
| 310 | -> forall (g :: List Type) . forall (h :: HList [32mg[0;32m) -> [32m[32m[32ma[0;32m [32m[32mg[0;32m[0;32m[0;32m [32m[32mh[0;32m[0;32m[0;32m[0m | 310 | -> forall (g :: List Type) . forall (h :: HList g) -> a g h |
| 311 | match'HList | 311 | match'HList |
| 312 | :: [32mforall (a :: Type -> Type) | 312 | :: forall (a :: Type -> Type) |
| 313 | -> (forall (b :: List Type) -> [32m[32ma[0;32m [32m(HList [32mb[0;32m)[0;32m[0;32m) -> forall c -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m[0m | 313 | -> (forall (b :: List Type) -> a (HList b)) -> forall c -> a c -> a c |
| 314 | hlistNilCase :: [32mforall a -> [32ma[0;32m -> () -> [32ma[0;32m[0m | 314 | hlistNilCase :: forall a -> a -> () -> a |
| 315 | hlistConsCase | 315 | hlistConsCase |
| 316 | :: [32mforall a (b :: List Type) | 316 | :: forall a (b :: List Type) |
| 317 | . forall c -> ([32ma[0;32m -> HList [32mb[0;32m -> [32mc[0;32m) -> HList ('Cons [32ma[0;32m [32mb[0;32m) -> [32mc[0;32m[0m | 317 | . forall c -> (a -> HList b -> c) -> HList ('Cons a b) -> c |
| 318 | ------------ tooltips | 318 | ------------ tooltips |
| 319 | testdata/Internals.lc 6:1-6:8 forall a . a -> a | 319 | testdata/Internals.lc 6:1-6:8 |
| 320 | testdata/Internals.lc 6:13-6:14 _b | 320 | forall a . a -> a |
| 321 | testdata/Internals.lc 9:1-9:7 forall a . a -> a | 321 | testdata/Internals.lc 6:13-6:14 |
| 322 | testdata/Internals.lc 9:12-9:13 _b | 322 | _b |
| 323 | testdata/Internals.lc 11:1-11:10 forall a . a | 323 | testdata/Internals.lc 9:1-9:7 |
| 324 | testdata/Internals.lc 11:27-11:31 Type | 324 | forall a . a -> a |
| 325 | testdata/Internals.lc 11:35-11:36 Type | 325 | testdata/Internals.lc 9:12-9:13 |
| 326 | testdata/Internals.lc 13:1-13:8 forall a . (a -> a) -> a | 326 | _b |
| 327 | testdata/Internals.lc 13:25-13:29 Type | 327 | testdata/Internals.lc 11:1-11:10 |
| 328 | testdata/Internals.lc 13:33-13:46 Type | 328 | forall a . a |
| 329 | testdata/Internals.lc 13:34-13:35 Type | 329 | testdata/Internals.lc 11:27-11:31 |
| 330 | testdata/Internals.lc 13:39-13:40 Type | 330 | Type |
| 331 | testdata/Internals.lc 13:45-13:46 Type | 331 | testdata/Internals.lc 11:35-11:36 |
| 332 | testdata/Internals.lc 15:6-15:10 Type | 332 | Type | Type |
| 333 | testdata/Internals.lc 15:6-15:15 Type | 333 | testdata/Internals.lc 13:1-13:8 |
| 334 | testdata/Internals.lc 15:13-15:15 Unit | 334 | forall a . (a -> a) -> a |
| 335 | testdata/Internals.lc 16:6-16:12 Type | 335 | testdata/Internals.lc 13:25-13:29 |
| 336 | testdata/Internals.lc 17:6-17:11 String -> Type | Type | 336 | Type |
| 337 | testdata/Internals.lc 17:18-17:24 Type | 337 | testdata/Internals.lc 13:33-13:46 |
| 338 | testdata/Internals.lc 19:1-19:13 forall a b . a -> b | 338 | Type |
| 339 | testdata/Internals.lc 19:30-19:31 _d | 339 | testdata/Internals.lc 13:34-13:35 |
| 340 | testdata/Internals.lc 19:30-19:36 Type | 340 | Type |
| 341 | testdata/Internals.lc 19:35-19:36 Type | _c | 341 | testdata/Internals.lc 13:39-13:40 |
| 342 | testdata/Internals.lc 22:13-22:17 forall a -> a -> a -> Type | 342 | Type | Type |
| 343 | testdata/Internals.lc 22:24-22:28 Type | 343 | testdata/Internals.lc 13:45-13:46 |
| 344 | testdata/Internals.lc 22:36-22:37 Type | 344 | Type | Type |
| 345 | testdata/Internals.lc 22:36-22:46 Type | 345 | testdata/Internals.lc 15:6-15:10 |
| 346 | testdata/Internals.lc 22:45-22:46 Type | 346 | Type | Type | Type | Type | Type |
| 347 | testdata/Internals.lc 31:1-31:8 forall a -> a -> a -> a | 347 | testdata/Internals.lc 15:6-15:15 |
| 348 | testdata/Internals.lc 31:24-31:25 _b | 348 | Type |
| 349 | testdata/Internals.lc 31:24-31:35 Type | 349 | testdata/Internals.lc 15:13-15:15 |
| 350 | testdata/Internals.lc 31:29-31:30 Type | 350 | Unit |
| 351 | testdata/Internals.lc 31:29-31:35 Type | 351 | testdata/Internals.lc 16:6-16:12 |
| 352 | testdata/Internals.lc 31:34-31:35 Type | 352 | Type | Type | Type | Type |
| 353 | testdata/Internals.lc 34:13-34:15 Type -> Type -> Type | 353 | testdata/Internals.lc 17:6-17:11 |
| 354 | testdata/Internals.lc 36:1-36:11 forall (a :: Type -> Type) -> a Type -> forall b -> a b -> a b | 354 | String -> Type | String -> Type | String -> Type | Type | Type |
| 355 | testdata/Internals.lc 36:28-36:32 Type | 355 | testdata/Internals.lc 17:18-17:24 |
| 356 | testdata/Internals.lc 36:36-36:40 Type | 356 | Type | Type |
| 357 | testdata/Internals.lc 36:45-36:46 Type -> Type | 357 | testdata/Internals.lc 19:1-19:13 |
| 358 | testdata/Internals.lc 36:45-36:51 Type | 358 | forall a b . a -> b |
| 359 | testdata/Internals.lc 36:45-36:87 Type | 359 | testdata/Internals.lc 19:30-19:31 |
| 360 | testdata/Internals.lc 36:47-36:51 Type | 360 | _d |
| 361 | testdata/Internals.lc 36:55-36:87 Type | 361 | testdata/Internals.lc 19:30-19:36 |
| 362 | testdata/Internals.lc 36:68-36:72 Type | 362 | Type | Type |
| 363 | testdata/Internals.lc 36:77-36:78 Type -> Type | 363 | testdata/Internals.lc 19:35-19:36 |
| 364 | testdata/Internals.lc 36:77-36:80 Type | 364 | _c | Type |
| 365 | testdata/Internals.lc 36:77-36:87 Type | 365 | testdata/Internals.lc 22:13-22:17 |
| 366 | testdata/Internals.lc 36:79-36:80 Type | 366 | forall a -> a -> a -> Type |
| 367 | testdata/Internals.lc 36:84-36:85 Type -> Type | 367 | testdata/Internals.lc 22:24-22:28 |
| 368 | testdata/Internals.lc 36:84-36:87 Type | 368 | Type |
| 369 | testdata/Internals.lc 36:86-36:87 Type | 369 | testdata/Internals.lc 22:36-22:37 |
| 370 | testdata/Internals.lc 38:6-38:11 forall a . a -> a -> Type | 370 | Type |
| 371 | testdata/Internals.lc 38:14-38:18 forall a -> a -> a -> Type | 371 | testdata/Internals.lc 22:36-22:46 |
| 372 | testdata/Internals.lc 38:14-38:20 _a -> _a -> Type | 372 | Type |
| 373 | testdata/Internals.lc 41:1-41:4 Unit -> Unit -> Unit | 373 | testdata/Internals.lc 22:45-22:46 |
| 374 | testdata/Internals.lc 41:8-41:12 Type | 374 | Type | Type |
| 375 | testdata/Internals.lc 41:16-41:20 Type | 375 | testdata/Internals.lc 31:1-31:8 |
| 376 | testdata/Internals.lc 41:16-41:28 Type | 376 | forall a -> a -> a -> a |
| 377 | testdata/Internals.lc 41:24-41:28 Type | 377 | testdata/Internals.lc 31:24-31:25 |
| 378 | testdata/Internals.lc 44:6-44:9 Type | 378 | _b |
| 379 | testdata/Internals.lc 45:6-45:10 Type | 379 | testdata/Internals.lc 31:24-31:35 |
| 380 | testdata/Internals.lc 46:6-46:11 Type | 380 | Type |
| 381 | testdata/Internals.lc 47:6-47:10 Type | 381 | testdata/Internals.lc 31:29-31:30 |
| 382 | testdata/Internals.lc 49:6-49:10 Type | 382 | Type |
| 383 | testdata/Internals.lc 49:6-49:25 Type | 383 | testdata/Internals.lc 31:29-31:35 |
| 384 | testdata/Internals.lc 49:13-49:18 Bool | 384 | Type |
| 385 | testdata/Internals.lc 49:21-49:25 Bool | 385 | testdata/Internals.lc 31:34-31:35 |
| 386 | testdata/Internals.lc 51:6-51:14 Type | 386 | Type | Type |
| 387 | testdata/Internals.lc 51:6-51:29 Type | 387 | testdata/Internals.lc 34:13-34:15 |
| 388 | testdata/Internals.lc 51:17-51:19 Ordering | 388 | Type -> Type -> Type |
| 389 | testdata/Internals.lc 51:22-51:24 Ordering | 389 | testdata/Internals.lc 36:1-36:11 |
| 390 | testdata/Internals.lc 51:27-51:29 Ordering | 390 | forall (a :: Type -> Type) -> a Type -> forall b -> a b -> a b |
| 391 | testdata/Internals.lc 53:6-53:9 Type | 391 | testdata/Internals.lc 36:28-36:32 |
| 392 | testdata/Internals.lc 53:6-53:23 Type | 392 | Type |
| 393 | testdata/Internals.lc 53:12-53:16 Nat | 393 | testdata/Internals.lc 36:36-36:40 |
| 394 | testdata/Internals.lc 53:19-53:23 Nat | Nat -> Nat | Type | 394 | Type | Type |
| 395 | testdata/Internals.lc 53:24-53:27 Type | 395 | testdata/Internals.lc 36:45-36:46 |
| 396 | testdata/Internals.lc 56:1-56:14 Int -> Word | 396 | Type -> Type |
| 397 | testdata/Internals.lc 56:24-56:27 Type | 397 | testdata/Internals.lc 36:45-36:51 |
| 398 | testdata/Internals.lc 56:33-56:37 Type | 398 | Type |
| 399 | testdata/Internals.lc 57:1-57:15 Int -> Float | 399 | testdata/Internals.lc 36:45-36:87 |
| 400 | testdata/Internals.lc 57:24-57:27 Type | 400 | Type |
| 401 | testdata/Internals.lc 57:33-57:38 Type | 401 | testdata/Internals.lc 36:47-36:51 |
| 402 | testdata/Internals.lc 58:1-58:13 Int -> Nat | 402 | Type |
| 403 | testdata/Internals.lc 58:24-58:27 Type | 403 | testdata/Internals.lc 36:55-36:87 |
| 404 | testdata/Internals.lc 58:33-58:36 Type | 404 | Type |
| 405 | testdata/Internals.lc 59:1-59:15 Int -> Int -> Ordering | 405 | testdata/Internals.lc 36:68-36:72 |
| 406 | testdata/Internals.lc 59:24-59:27 Type | 406 | Type |
| 407 | testdata/Internals.lc 59:33-59:36 Type | 407 | testdata/Internals.lc 36:77-36:78 |
| 408 | testdata/Internals.lc 59:33-59:50 Type | 408 | Type -> Type |
| 409 | testdata/Internals.lc 59:42-59:50 Type | 409 | testdata/Internals.lc 36:77-36:80 |
| 410 | testdata/Internals.lc 60:1-60:16 Word -> Word -> Ordering | 410 | Type |
| 411 | testdata/Internals.lc 60:24-60:28 Type | 411 | testdata/Internals.lc 36:77-36:87 |
| 412 | testdata/Internals.lc 60:33-60:37 Type | 412 | Type |
| 413 | testdata/Internals.lc 60:33-60:50 Type | 413 | testdata/Internals.lc 36:79-36:80 |
| 414 | testdata/Internals.lc 60:42-60:50 Type | 414 | Type |
| 415 | testdata/Internals.lc 61:1-61:17 Float -> Float -> Ordering | 415 | testdata/Internals.lc 36:84-36:85 |
| 416 | testdata/Internals.lc 61:24-61:29 Type | 416 | Type -> Type |
| 417 | testdata/Internals.lc 61:33-61:38 Type | 417 | testdata/Internals.lc 36:84-36:87 |
| 418 | testdata/Internals.lc 61:33-61:50 Type | 418 | Type | Type |
| 419 | testdata/Internals.lc 61:42-61:50 Type | 419 | testdata/Internals.lc 36:86-36:87 |
| 420 | testdata/Internals.lc 62:1-62:16 Char -> Char -> Ordering | 420 | Type |
| 421 | testdata/Internals.lc 62:24-62:28 Type | 421 | testdata/Internals.lc 38:6-38:11 |
| 422 | testdata/Internals.lc 62:33-62:37 Type | 422 | forall a . a -> a -> Type |
| 423 | testdata/Internals.lc 62:33-62:50 Type | 423 | testdata/Internals.lc 38:14-38:18 |
| 424 | testdata/Internals.lc 62:42-62:50 Type | 424 | forall a -> a -> a -> Type |
| 425 | testdata/Internals.lc 63:1-63:18 String -> String -> Ordering | 425 | testdata/Internals.lc 38:14-38:20 |
| 426 | testdata/Internals.lc 63:24-63:30 Type | 426 | _a -> _a -> Type |
| 427 | testdata/Internals.lc 63:34-63:40 Type | 427 | testdata/Internals.lc 41:1-41:4 |
| 428 | testdata/Internals.lc 63:34-63:52 Type | 428 | Unit -> Unit -> Unit |
| 429 | testdata/Internals.lc 63:44-63:52 Type | 429 | testdata/Internals.lc 41:8-41:12 |
| 430 | testdata/Internals.lc 64:1-64:14 Int -> Int | 430 | Type |
| 431 | testdata/Internals.lc 64:24-64:27 Type | 431 | testdata/Internals.lc 41:16-41:20 |
| 432 | testdata/Internals.lc 64:33-64:36 Type | 432 | Type |
| 433 | testdata/Internals.lc 65:1-65:15 Word -> Word | 433 | testdata/Internals.lc 41:16-41:28 |
| 434 | testdata/Internals.lc 65:24-65:28 Type | 434 | Type |
| 435 | testdata/Internals.lc 65:33-65:37 Type | 435 | testdata/Internals.lc 41:24-41:28 |
| 436 | testdata/Internals.lc 66:1-66:16 Float -> Float | 436 | Type | Type |
| 437 | testdata/Internals.lc 66:24-66:29 Type | 437 | testdata/Internals.lc 44:6-44:9 |
| 438 | testdata/Internals.lc 66:33-66:38 Type | 438 | Type | Type | Type | Type |
| 439 | testdata/Internals.lc 67:1-67:11 Int -> Int -> Int | 439 | testdata/Internals.lc 45:6-45:10 |
| 440 | testdata/Internals.lc 67:24-67:27 Type | 440 | Type | Type | Type | Type |
| 441 | testdata/Internals.lc 67:33-67:36 Type | 441 | testdata/Internals.lc 46:6-46:11 |
| 442 | testdata/Internals.lc 67:33-67:45 Type | 442 | Type | Type | Type | Type |
| 443 | testdata/Internals.lc 67:42-67:45 Type | 443 | testdata/Internals.lc 47:6-47:10 |
| 444 | testdata/Internals.lc 68:1-68:11 Int -> Int -> Int | 444 | Type | Type | Type | Type |
| 445 | testdata/Internals.lc 68:24-68:27 Type | 445 | testdata/Internals.lc 49:6-49:10 |
| 446 | testdata/Internals.lc 68:33-68:36 Type | 446 | Type | Type | Type | Type | Type | Type |
| 447 | testdata/Internals.lc 68:33-68:45 Type | 447 | testdata/Internals.lc 49:6-49:25 |
| 448 | testdata/Internals.lc 68:42-68:45 Type | 448 | Type | Type |
| 449 | testdata/Internals.lc 69:1-69:11 Int -> Int -> Int | 449 | testdata/Internals.lc 49:13-49:18 |
| 450 | testdata/Internals.lc 69:24-69:27 Type | 450 | Bool |
| 451 | testdata/Internals.lc 69:33-69:36 Type | 451 | testdata/Internals.lc 49:21-49:25 |
| 452 | testdata/Internals.lc 69:33-69:45 Type | 452 | Bool |
| 453 | testdata/Internals.lc 69:42-69:45 Type | 453 | testdata/Internals.lc 51:6-51:14 |
| 454 | testdata/Internals.lc 70:1-70:14 Float -> Float | 454 | Type | Type | Type | Type | Type | Type | Type |
| 455 | testdata/Internals.lc 70:24-70:29 Type | 455 | testdata/Internals.lc 51:6-51:29 |
| 456 | testdata/Internals.lc 70:33-70:38 Type | 456 | Type | Type | Type |
| 457 | testdata/Internals.lc 71:1-71:10 Float -> Int | 457 | testdata/Internals.lc 51:17-51:19 |
| 458 | testdata/Internals.lc 71:24-71:29 Type | 458 | Ordering |
| 459 | testdata/Internals.lc 71:33-71:36 Type | 459 | testdata/Internals.lc 51:22-51:24 |
| 460 | testdata/Internals.lc 74:19-74:23 Type | 460 | Ordering |
| 461 | testdata/Internals.lc 74:19-74:38 Type | 461 | testdata/Internals.lc 51:27-51:29 |
| 462 | testdata/Internals.lc 74:27-74:28 _c | 462 | Ordering |
| 463 | testdata/Internals.lc 74:27-74:38 Type | 463 | testdata/Internals.lc 53:6-53:9 |
| 464 | testdata/Internals.lc 74:32-74:33 Type | 464 | Type | Type | Type | Type | Type | Type | Type |
| 465 | testdata/Internals.lc 74:32-74:38 Type | 465 | testdata/Internals.lc 53:6-53:23 |
| 466 | testdata/Internals.lc 74:37-74:38 Type | 466 | Type | Type |
| 467 | testdata/Internals.lc 75:1-75:15 forall a . Bool -> a -> a -> a | 467 | testdata/Internals.lc 53:12-53:16 |
| 468 | testdata/Internals.lc 75:28-75:29 _d | 468 | Nat |
| 469 | testdata/Internals.lc 75:28-76:29 Bool -> _a -> _a -> _a | Bool -> _d | _b -> _b -> _b | _c -> _c | _d | 469 | testdata/Internals.lc 53:19-53:23 |
| 470 | testdata/Internals.lc 76:28-76:29 _e | 470 | Nat -> Nat | Nat | Type | Type |
| 471 | testdata/Internals.lc 78:1-78:5 Ordering -> Bool | 471 | testdata/Internals.lc 53:24-53:27 |
| 472 | testdata/Internals.lc 78:11-78:15 Bool | 472 | Type |
| 473 | testdata/Internals.lc 78:11-79:15 Bool -> Ordering -> Bool | 473 | testdata/Internals.lc 56:1-56:14 |
| 474 | testdata/Internals.lc 79:10-79:15 Bool | 474 | Int -> Word |
| 475 | testdata/Internals.lc 82:7-82:10 Type -> Type | 475 | testdata/Internals.lc 56:24-56:27 |
| 476 | testdata/Internals.lc 82:7-83:22 Type | 476 | Type |
| 477 | testdata/Internals.lc 82:7-84:32 Type | 477 | testdata/Internals.lc 56:33-56:37 |
| 478 | testdata/Internals.lc 82:7-85:19 Type | 478 | Type | Type |
| 479 | testdata/Internals.lc 83:3-83:10 forall a . Num a => Int -> a | 479 | testdata/Internals.lc 57:1-57:15 |
| 480 | testdata/Internals.lc 83:14-83:17 Type | 480 | Int -> Float |
| 481 | testdata/Internals.lc 83:14-83:22 Type | 481 | testdata/Internals.lc 57:24-57:27 |
| 482 | testdata/Internals.lc 83:21-83:22 Type | 482 | Type |
| 483 | testdata/Internals.lc 84:3-84:10 forall a . Num a => a -> a -> Ordering | 483 | testdata/Internals.lc 57:33-57:38 |
| 484 | testdata/Internals.lc 84:14-84:15 Type | 484 | Type | Type |
| 485 | testdata/Internals.lc 84:14-84:32 Type | 485 | testdata/Internals.lc 58:1-58:13 |
| 486 | testdata/Internals.lc 84:19-84:20 Type | 486 | Int -> Nat |
| 487 | testdata/Internals.lc 84:19-84:32 Type | 487 | testdata/Internals.lc 58:24-58:27 |
| 488 | testdata/Internals.lc 84:24-84:32 Type | 488 | Type |
| 489 | testdata/Internals.lc 85:3-85:9 forall a . Num a => a -> a | 489 | testdata/Internals.lc 58:33-58:36 |
| 490 | testdata/Internals.lc 85:13-85:14 Type | 490 | Type | Type |
| 491 | testdata/Internals.lc 85:13-85:19 Type | 491 | testdata/Internals.lc 59:1-59:15 |
| 492 | testdata/Internals.lc 85:18-85:19 Type | 492 | Int -> Int -> Ordering |
| 493 | testdata/Internals.lc 88:13-100:25 Int -> _b | Num _a => Int -> _a | forall a . Num a => Int -> a | 493 | testdata/Internals.lc 59:24-59:27 |
| 494 | testdata/Internals.lc 88:19-88:20 _b | 494 | Type |
| 495 | testdata/Internals.lc 89:13-89:27 Int -> Int -> Ordering | 495 | testdata/Internals.lc 59:33-59:36 |
| 496 | testdata/Internals.lc 89:13-101:22 Num _a => _a -> _a -> Ordering | _b -> _b -> Ordering | forall a . Num a => a -> a -> Ordering | 496 | Type |
| 497 | testdata/Internals.lc 90:13-90:26 Int -> Int | 497 | testdata/Internals.lc 59:33-59:50 |
| 498 | testdata/Internals.lc 90:13-102:22 Num _a => _a -> _a | _b -> _b | forall a . Num a => a -> a | 498 | Type |
| 499 | testdata/Internals.lc 92:13-92:26 Int -> Word | 499 | testdata/Internals.lc 59:42-59:50 |
| 500 | testdata/Internals.lc 92:13-100:25 Int -> _b | 500 | Type | Type |
| 501 | testdata/Internals.lc 93:13-93:28 Word -> Word -> Ordering | 501 | testdata/Internals.lc 60:1-60:16 |
| 502 | testdata/Internals.lc 93:13-101:22 _b -> _b -> Ordering | 502 | Word -> Word -> Ordering |
| 503 | testdata/Internals.lc 94:13-94:27 Word -> Word | 503 | testdata/Internals.lc 60:24-60:28 |
| 504 | testdata/Internals.lc 94:13-102:22 _b -> _b | 504 | Type |
| 505 | testdata/Internals.lc 96:13-96:27 Int -> Float | 505 | testdata/Internals.lc 60:33-60:37 |
| 506 | testdata/Internals.lc 96:13-100:25 Int -> _b | 506 | Type |
| 507 | testdata/Internals.lc 97:13-97:29 Float -> Float -> Ordering | 507 | testdata/Internals.lc 60:33-60:50 |
| 508 | testdata/Internals.lc 97:13-101:22 _b -> _b -> Ordering | 508 | Type |
| 509 | testdata/Internals.lc 98:13-98:28 Float -> Float | 509 | testdata/Internals.lc 60:42-60:50 |
| 510 | testdata/Internals.lc 98:13-102:22 _b -> _b | 510 | Type | Type |
| 511 | testdata/Internals.lc 100:13-100:25 Int -> Nat | 511 | testdata/Internals.lc 61:1-61:17 |
| 512 | testdata/Internals.lc 101:13-101:22 forall a . a | 512 | Float -> Float -> Ordering |
| 513 | testdata/Internals.lc 102:13-102:22 forall a . a | 513 | testdata/Internals.lc 61:24-61:29 |
| 514 | testdata/Internals.lc 104:7-104:9 Type -> Type | 514 | Type |
| 515 | testdata/Internals.lc 104:7-105:27 Type | 515 | testdata/Internals.lc 61:33-61:38 |
| 516 | testdata/Internals.lc 104:7-120:29 _a -> _a | forall a . Eq a => a -> a -> Bool | 516 | Type |
| 517 | testdata/Internals.lc 105:6-105:8 forall a . Eq a => a -> a -> Bool | 517 | testdata/Internals.lc 61:33-61:50 |
| 518 | testdata/Internals.lc 105:13-105:14 Type | 518 | Type |
| 519 | testdata/Internals.lc 105:13-105:27 Type | 519 | testdata/Internals.lc 61:42-61:50 |
| 520 | testdata/Internals.lc 105:18-105:19 Type | 520 | Type | Type |
| 521 | testdata/Internals.lc 105:18-105:27 Type | 521 | testdata/Internals.lc 62:1-62:16 |
| 522 | testdata/Internals.lc 105:23-105:27 Type | 522 | Char -> Char -> Ordering |
| 523 | testdata/Internals.lc 109:35-109:39 Ordering -> Bool | 523 | testdata/Internals.lc 62:24-62:28 |
| 524 | testdata/Internals.lc 109:35-109:63 Bool | 524 | Type |
| 525 | testdata/Internals.lc 109:35-120:29 Eq _a => _a -> _a -> Bool | _b -> _b -> Bool | forall a . Eq a => a -> a -> Bool | 525 | testdata/Internals.lc 62:33-62:37 |
| 526 | testdata/Internals.lc 109:41-109:58 String -> String -> Ordering | 526 | Type |
| 527 | testdata/Internals.lc 109:41-109:60 String -> Ordering | 527 | testdata/Internals.lc 62:33-62:50 |
| 528 | testdata/Internals.lc 109:41-109:62 Ordering | 528 | Type |
| 529 | testdata/Internals.lc 109:59-109:60 _d | 529 | testdata/Internals.lc 62:42-62:50 |
| 530 | testdata/Internals.lc 109:61-109:62 _b | 530 | Type | Type |
| 531 | testdata/Internals.lc 110:33-110:37 Ordering -> Bool | 531 | testdata/Internals.lc 63:1-63:18 |
| 532 | testdata/Internals.lc 110:33-110:59 Bool | 532 | String -> String -> Ordering |
| 533 | testdata/Internals.lc 110:33-120:29 _b -> _b -> Bool | 533 | testdata/Internals.lc 63:24-63:30 |
| 534 | testdata/Internals.lc 110:39-110:54 Char -> Char -> Ordering | 534 | Type |
| 535 | testdata/Internals.lc 110:39-110:56 Char -> Ordering | 535 | testdata/Internals.lc 63:34-63:40 |
| 536 | testdata/Internals.lc 110:39-110:58 Ordering | 536 | Type |
| 537 | testdata/Internals.lc 110:55-110:56 _d | 537 | testdata/Internals.lc 63:34-63:52 |
| 538 | testdata/Internals.lc 110:57-110:58 _b | 538 | Type |
| 539 | testdata/Internals.lc 111:32-111:36 Ordering -> Bool | 539 | testdata/Internals.lc 63:44-63:52 |
| 540 | testdata/Internals.lc 111:32-111:57 Bool | 540 | Type | Type |
| 541 | testdata/Internals.lc 111:32-120:29 _b -> _b -> Bool | 541 | testdata/Internals.lc 64:1-64:14 |
| 542 | testdata/Internals.lc 111:38-111:52 Int -> Int -> Ordering | 542 | Int -> Int |
| 543 | testdata/Internals.lc 111:38-111:54 Int -> Ordering | 543 | testdata/Internals.lc 64:24-64:27 |
| 544 | testdata/Internals.lc 111:38-111:56 Ordering | 544 | Type |
| 545 | testdata/Internals.lc 111:53-111:54 _d | 545 | testdata/Internals.lc 64:33-64:36 |
| 546 | testdata/Internals.lc 111:55-111:56 _b | 546 | Type | Type |
| 547 | testdata/Internals.lc 112:34-112:38 Ordering -> Bool | 547 | testdata/Internals.lc 65:1-65:15 |
| 548 | testdata/Internals.lc 112:34-112:61 Bool | 548 | Word -> Word |
| 549 | testdata/Internals.lc 112:34-120:29 _b -> _b -> Bool | 549 | testdata/Internals.lc 65:24-65:28 |
| 550 | testdata/Internals.lc 112:40-112:56 Float -> Float -> Ordering | 550 | Type |
| 551 | testdata/Internals.lc 112:40-112:58 Float -> Ordering | 551 | testdata/Internals.lc 65:33-65:37 |
| 552 | testdata/Internals.lc 112:40-112:60 Ordering | 552 | Type | Type |
| 553 | testdata/Internals.lc 112:57-112:58 _d | 553 | testdata/Internals.lc 66:1-66:16 |
| 554 | testdata/Internals.lc 112:59-112:60 _b | 554 | Float -> Float |
| 555 | testdata/Internals.lc 114:20-114:24 Bool | 555 | testdata/Internals.lc 66:24-66:29 |
| 556 | testdata/Internals.lc 114:20-116:19 Bool | Bool -> Bool | 556 | Type |
| 557 | testdata/Internals.lc 114:20-120:29 _b -> _b -> Bool | 557 | testdata/Internals.lc 66:33-66:38 |
| 558 | testdata/Internals.lc 115:22-115:26 Bool | 558 | Type | Type |
| 559 | testdata/Internals.lc 115:22-116:19 Bool | Bool -> Bool | 559 | testdata/Internals.lc 67:1-67:11 |
| 560 | testdata/Internals.lc 116:14-116:19 Bool | 560 | Int -> Int -> Int |
| 561 | testdata/Internals.lc 118:24-118:28 Bool | 561 | testdata/Internals.lc 67:24-67:27 |
| 562 | testdata/Internals.lc 118:24-120:29 Nat -> Bool | 562 | Type |
| 563 | testdata/Internals.lc 119:24-119:25 Nat | 563 | testdata/Internals.lc 67:33-67:36 |
| 564 | testdata/Internals.lc 119:24-119:28 Nat -> Bool | 564 | Type |
| 565 | testdata/Internals.lc 119:24-119:30 Bool | Nat -> Bool | 565 | testdata/Internals.lc 67:33-67:45 |
| 566 | testdata/Internals.lc 119:24-120:29 Nat -> Bool | 566 | Type |
| 567 | testdata/Internals.lc 119:26-119:28 forall a . Eq a => a -> a -> Bool | 567 | testdata/Internals.lc 67:42-67:45 |
| 568 | testdata/Internals.lc 119:29-119:30 Nat | 568 | Type | Type |
| 569 | testdata/Internals.lc 120:24-120:29 Bool | Nat -> Bool | 569 | testdata/Internals.lc 68:1-68:11 |
| 570 | testdata/Internals.lc 122:6-122:10 Type | Type -> Type | 570 | Int -> Int -> Int |
| 571 | testdata/Internals.lc 122:6-122:12 Type | 571 | testdata/Internals.lc 68:24-68:27 |
| 572 | testdata/Internals.lc 122:6-122:25 Type | 572 | Type |
| 573 | testdata/Internals.lc 122:6-122:36 Type | 573 | testdata/Internals.lc 68:33-68:36 |
| 574 | testdata/Internals.lc 122:11-122:12 Type | 574 | Type |
| 575 | testdata/Internals.lc 122:15-122:18 List _b | forall a . List a | 575 | testdata/Internals.lc 68:33-68:45 |
| 576 | testdata/Internals.lc 122:21-122:25 List _e | Type | forall a . a -> List a -> List a | 576 | Type |
| 577 | testdata/Internals.lc 122:26-122:27 Type | 577 | testdata/Internals.lc 68:42-68:45 |
| 578 | testdata/Internals.lc 122:29-122:33 Type -> Type | 578 | Type | Type |
| 579 | testdata/Internals.lc 122:29-122:35 Type | 579 | testdata/Internals.lc 69:1-69:11 |
| 580 | testdata/Internals.lc 122:34-122:35 Type | 580 | Int -> Int -> Int |
| 581 | testdata/Internals.lc 126:6-126:11 List Type -> Type | Type | 581 | testdata/Internals.lc 69:24-69:27 |
| 582 | testdata/Internals.lc 126:6-128:45 Type | 582 | Type |
| 583 | testdata/Internals.lc 126:15-126:21 Type | 583 | testdata/Internals.lc 69:33-69:36 |
| 584 | testdata/Internals.lc 126:16-126:20 Type | 584 | Type |
| 585 | testdata/Internals.lc 126:25-126:29 Type | 585 | testdata/Internals.lc 69:33-69:45 |
| 586 | testdata/Internals.lc 127:5-127:9 () | 586 | Type |
| 587 | testdata/Internals.lc 127:5-127:22 Type | 587 | testdata/Internals.lc 69:42-69:45 |
| 588 | testdata/Internals.lc 127:13-127:18 List Type -> Type | 588 | Type | Type |
| 589 | testdata/Internals.lc 127:13-127:22 Type | 589 | testdata/Internals.lc 70:1-70:14 |
| 590 | testdata/Internals.lc 127:19-127:22 forall a . List a | 590 | Float -> Float |
| 591 | testdata/Internals.lc 128:5-128:10 HList ('Cons _d _c) | forall a (b :: List Type) . a -> HList b -> HList ('Cons a b) | 591 | testdata/Internals.lc 70:24-70:29 |
| 592 | testdata/Internals.lc 128:5-128:45 Type | 592 | Type |
| 593 | testdata/Internals.lc 128:14-128:15 _d | 593 | testdata/Internals.lc 70:33-70:38 |
| 594 | testdata/Internals.lc 128:14-128:45 Type | 594 | Type | Type |
| 595 | testdata/Internals.lc 128:19-128:24 List Type -> Type | 595 | testdata/Internals.lc 71:1-71:10 |
| 596 | testdata/Internals.lc 128:19-128:27 Type | 596 | Float -> Int |
| 597 | testdata/Internals.lc 128:19-128:45 Type | 597 | testdata/Internals.lc 71:24-71:29 |
| 598 | testdata/Internals.lc 128:25-128:27 _c | 598 | Type |
| 599 | testdata/Internals.lc 128:31-128:36 List Type -> Type | 599 | testdata/Internals.lc 71:33-71:36 |
| 600 | testdata/Internals.lc 128:31-128:45 Type | 600 | Type | Type |
| 601 | testdata/Internals.lc 128:39-128:40 Type | 601 | testdata/Internals.lc 74:19-74:23 |
| 602 | testdata/Internals.lc 128:39-128:41 List Type -> List Type | 602 | Type |
| 603 | testdata/Internals.lc 128:39-128:44 List Type | 603 | testdata/Internals.lc 74:19-74:38 |
| 604 | testdata/Internals.lc 128:40-128:41 forall a . a -> List a -> List a | 604 | Type |
| 605 | testdata/Internals.lc 128:42-128:44 List Type | 605 | testdata/Internals.lc 74:27-74:28 |
| 606 | testdata/Internals.lc 130:1-130:13 forall a -> a -> () -> a | 606 | _c |
| 607 | testdata/Internals.lc 130:29-130:30 _b | 607 | testdata/Internals.lc 74:27-74:38 |
| 608 | testdata/Internals.lc 130:29-130:48 Type | 608 | Type |
| 609 | testdata/Internals.lc 130:34-130:39 List Type -> Type | 609 | testdata/Internals.lc 74:32-74:33 |
| 610 | testdata/Internals.lc 130:34-130:43 Type | 610 | Type |
| 611 | testdata/Internals.lc 130:34-130:48 Type | 611 | testdata/Internals.lc 74:32-74:38 |
| 612 | testdata/Internals.lc 130:40-130:43 forall a . List a | 612 | Type |
| 613 | testdata/Internals.lc 130:47-130:48 Type | 613 | testdata/Internals.lc 74:37-74:38 |
| 614 | testdata/Internals.lc 131:1-131:14 forall a (b :: List Type) . forall c -> (a -> HList b -> c) -> HList ('Cons a b) -> c | 614 | Type | Type |
| 615 | testdata/Internals.lc 132:21-132:25 Type | 615 | testdata/Internals.lc 75:1-75:15 |
| 616 | testdata/Internals.lc 132:33-132:37 Type -> Type | 616 | forall a . Bool -> a -> a -> a |
| 617 | testdata/Internals.lc 132:33-132:42 Type | 617 | testdata/Internals.lc 75:28-75:29 |
| 618 | testdata/Internals.lc 132:33-136:9 Type | 618 | _d |
| 619 | testdata/Internals.lc 132:38-132:42 Type | 619 | testdata/Internals.lc 75:28-76:29 |
| 620 | testdata/Internals.lc 133:8-136:9 Type | 620 | Bool -> _d | _d |
| 621 | testdata/Internals.lc 134:8-136:9 Type | 621 | testdata/Internals.lc 76:28-76:29 |
| 622 | testdata/Internals.lc 134:9-134:10 Type | 622 | _e |
| 623 | testdata/Internals.lc 134:14-134:19 List Type -> Type | 623 | testdata/Internals.lc 78:1-78:5 |
| 624 | testdata/Internals.lc 134:14-134:21 Type | 624 | Ordering -> Bool |
| 625 | testdata/Internals.lc 134:14-134:26 Type | 625 | testdata/Internals.lc 78:11-78:15 |
| 626 | testdata/Internals.lc 134:20-134:21 List Type | 626 | Bool |
| 627 | testdata/Internals.lc 134:25-134:26 Type | _d | 627 | testdata/Internals.lc 78:11-79:15 |
| 628 | testdata/Internals.lc 135:8-135:13 List Type -> Type | 628 | Bool -> Ordering -> Bool |
| 629 | testdata/Internals.lc 135:8-135:24 Type | 629 | testdata/Internals.lc 79:10-79:15 |
| 630 | testdata/Internals.lc 135:8-136:9 Type | 630 | Bool | Bool |
| 631 | testdata/Internals.lc 135:15-135:19 forall a . a -> List a -> List a | 631 | testdata/Internals.lc 82:7-82:10 |
| 632 | testdata/Internals.lc 135:15-135:21 List Type -> List Type | 632 | Type -> Type | Type -> Type | Type -> Type | Type -> Type |
| 633 | testdata/Internals.lc 135:15-135:23 List Type | 633 | testdata/Internals.lc 82:7-83:22 |
| 634 | testdata/Internals.lc 135:20-135:21 Type | 634 | Type |
| 635 | testdata/Internals.lc 135:22-135:23 List Type | 635 | testdata/Internals.lc 82:7-84:32 |
| 636 | testdata/Internals.lc 136:8-136:9 Type | 636 | Type |
| 637 | testdata/Internals.lc 82:7-85:19 | ||
| 638 | Type | ||
| 639 | testdata/Internals.lc 83:3-83:10 | ||
| 640 | forall a . Num a => Int -> a | ||
| 641 | testdata/Internals.lc 83:14-83:17 | ||
| 642 | Type | ||
| 643 | testdata/Internals.lc 83:14-83:22 | ||
| 644 | Type | ||
| 645 | testdata/Internals.lc 83:21-83:22 | ||
| 646 | Type | Type | ||
| 647 | testdata/Internals.lc 84:3-84:10 | ||
| 648 | forall a . Num a => a -> a -> Ordering | ||
| 649 | testdata/Internals.lc 84:14-84:15 | ||
| 650 | Type | ||
| 651 | testdata/Internals.lc 84:14-84:32 | ||
| 652 | Type | ||
| 653 | testdata/Internals.lc 84:19-84:20 | ||
| 654 | Type | ||
| 655 | testdata/Internals.lc 84:19-84:32 | ||
| 656 | Type | ||
| 657 | testdata/Internals.lc 84:24-84:32 | ||
| 658 | Type | Type | ||
| 659 | testdata/Internals.lc 85:3-85:9 | ||
| 660 | forall a . Num a => a -> a | ||
| 661 | testdata/Internals.lc 85:13-85:14 | ||
| 662 | Type | ||
| 663 | testdata/Internals.lc 85:13-85:19 | ||
| 664 | Type | ||
| 665 | testdata/Internals.lc 85:18-85:19 | ||
| 666 | Type | Type | ||
| 667 | testdata/Internals.lc 88:13-100:25 | ||
| 668 | Int -> _b | ||
| 669 | testdata/Internals.lc 88:19-88:20 | ||
| 670 | _b | ||
| 671 | testdata/Internals.lc 89:13-89:27 | ||
| 672 | Int -> Int -> Ordering | ||
| 673 | testdata/Internals.lc 89:13-101:22 | ||
| 674 | _b -> _b -> Ordering | ||
| 675 | testdata/Internals.lc 90:13-90:26 | ||
| 676 | Int -> Int | ||
| 677 | testdata/Internals.lc 90:13-102:22 | ||
| 678 | _b -> _b | ||
| 679 | testdata/Internals.lc 92:13-92:26 | ||
| 680 | Int -> Word | ||
| 681 | testdata/Internals.lc 92:13-100:25 | ||
| 682 | Int -> _b | ||
| 683 | testdata/Internals.lc 93:13-93:28 | ||
| 684 | Word -> Word -> Ordering | ||
| 685 | testdata/Internals.lc 93:13-101:22 | ||
| 686 | _b -> _b -> Ordering | ||
| 687 | testdata/Internals.lc 94:13-94:27 | ||
| 688 | Word -> Word | ||
| 689 | testdata/Internals.lc 94:13-102:22 | ||
| 690 | _b -> _b | ||
| 691 | testdata/Internals.lc 96:13-96:27 | ||
| 692 | Int -> Float | ||
| 693 | testdata/Internals.lc 96:13-100:25 | ||
| 694 | Int -> _b | ||
| 695 | testdata/Internals.lc 97:13-97:29 | ||
| 696 | Float -> Float -> Ordering | ||
| 697 | testdata/Internals.lc 97:13-101:22 | ||
| 698 | _b -> _b -> Ordering | ||
| 699 | testdata/Internals.lc 98:13-98:28 | ||
| 700 | Float -> Float | ||
| 701 | testdata/Internals.lc 98:13-102:22 | ||
| 702 | _b -> _b | ||
| 703 | testdata/Internals.lc 100:13-100:25 | ||
| 704 | Int -> Nat | ||
| 705 | testdata/Internals.lc 101:13-101:22 | ||
| 706 | forall a . a | ||
| 707 | testdata/Internals.lc 102:13-102:22 | ||
| 708 | forall a . a | ||
| 709 | testdata/Internals.lc 104:7-104:9 | ||
| 710 | Type -> Type | Type -> Type | ||
| 711 | testdata/Internals.lc 104:7-105:27 | ||
| 712 | Type | ||
| 713 | testdata/Internals.lc 104:7-120:29 | ||
| 714 | forall a . Eq a => a -> a -> Bool | ||
| 715 | testdata/Internals.lc 105:6-105:8 | ||
| 716 | forall a . Eq a => a -> a -> Bool | ||
| 717 | testdata/Internals.lc 105:13-105:14 | ||
| 718 | Type | ||
| 719 | testdata/Internals.lc 105:13-105:27 | ||
| 720 | Type | ||
| 721 | testdata/Internals.lc 105:18-105:19 | ||
| 722 | Type | ||
| 723 | testdata/Internals.lc 105:18-105:27 | ||
| 724 | Type | ||
| 725 | testdata/Internals.lc 105:23-105:27 | ||
| 726 | Type | Type | ||
| 727 | testdata/Internals.lc 109:35-109:39 | ||
| 728 | Ordering -> Bool | ||
| 729 | testdata/Internals.lc 109:35-109:63 | ||
| 730 | Bool | ||
| 731 | testdata/Internals.lc 109:35-120:29 | ||
| 732 | _b -> _b -> Bool | ||
| 733 | testdata/Internals.lc 109:41-109:58 | ||
| 734 | String -> String -> Ordering | ||
| 735 | testdata/Internals.lc 109:41-109:60 | ||
| 736 | String -> Ordering | ||
| 737 | testdata/Internals.lc 109:41-109:62 | ||
| 738 | Ordering | ||
| 739 | testdata/Internals.lc 109:59-109:60 | ||
| 740 | _d | ||
| 741 | testdata/Internals.lc 109:61-109:62 | ||
| 742 | _b | ||
| 743 | testdata/Internals.lc 110:33-110:37 | ||
| 744 | Ordering -> Bool | ||
| 745 | testdata/Internals.lc 110:33-110:59 | ||
| 746 | Bool | ||
| 747 | testdata/Internals.lc 110:33-120:29 | ||
| 748 | _b -> _b -> Bool | ||
| 749 | testdata/Internals.lc 110:39-110:54 | ||
| 750 | Char -> Char -> Ordering | ||
| 751 | testdata/Internals.lc 110:39-110:56 | ||
| 752 | Char -> Ordering | ||
| 753 | testdata/Internals.lc 110:39-110:58 | ||
| 754 | Ordering | ||
| 755 | testdata/Internals.lc 110:55-110:56 | ||
| 756 | _d | ||
| 757 | testdata/Internals.lc 110:57-110:58 | ||
| 758 | _b | ||
| 759 | testdata/Internals.lc 111:32-111:36 | ||
| 760 | Ordering -> Bool | ||
| 761 | testdata/Internals.lc 111:32-111:57 | ||
| 762 | Bool | ||
| 763 | testdata/Internals.lc 111:32-120:29 | ||
| 764 | _b -> _b -> Bool | ||
| 765 | testdata/Internals.lc 111:38-111:52 | ||
| 766 | Int -> Int -> Ordering | ||
| 767 | testdata/Internals.lc 111:38-111:54 | ||
| 768 | Int -> Ordering | ||
| 769 | testdata/Internals.lc 111:38-111:56 | ||
| 770 | Ordering | ||
| 771 | testdata/Internals.lc 111:53-111:54 | ||
| 772 | _d | ||
| 773 | testdata/Internals.lc 111:55-111:56 | ||
| 774 | _b | ||
| 775 | testdata/Internals.lc 112:34-112:38 | ||
| 776 | Ordering -> Bool | ||
| 777 | testdata/Internals.lc 112:34-112:61 | ||
| 778 | Bool | ||
| 779 | testdata/Internals.lc 112:34-120:29 | ||
| 780 | _b -> _b -> Bool | ||
| 781 | testdata/Internals.lc 112:40-112:56 | ||
| 782 | Float -> Float -> Ordering | ||
| 783 | testdata/Internals.lc 112:40-112:58 | ||
| 784 | Float -> Ordering | ||
| 785 | testdata/Internals.lc 112:40-112:60 | ||
| 786 | Ordering | ||
| 787 | testdata/Internals.lc 112:57-112:58 | ||
| 788 | _d | ||
| 789 | testdata/Internals.lc 112:59-112:60 | ||
| 790 | _b | ||
| 791 | testdata/Internals.lc 114:20-114:24 | ||
| 792 | Bool | ||
| 793 | testdata/Internals.lc 114:20-116:19 | ||
| 794 | Bool -> Bool | Bool | ||
| 795 | testdata/Internals.lc 114:20-120:29 | ||
| 796 | _b -> _b -> Bool | ||
| 797 | testdata/Internals.lc 115:22-115:26 | ||
| 798 | Bool | ||
| 799 | testdata/Internals.lc 115:22-116:19 | ||
| 800 | Bool -> Bool | Bool | ||
| 801 | testdata/Internals.lc 116:14-116:19 | ||
| 802 | Bool | Bool | ||
| 803 | testdata/Internals.lc 118:24-118:28 | ||
| 804 | Bool | ||
| 805 | testdata/Internals.lc 118:24-120:29 | ||
| 806 | Nat -> Bool | ||
| 807 | testdata/Internals.lc 119:24-119:25 | ||
| 808 | Nat | ||
| 809 | testdata/Internals.lc 119:24-119:28 | ||
| 810 | Nat -> Bool | ||
| 811 | testdata/Internals.lc 119:24-119:30 | ||
| 812 | Bool | ||
| 813 | testdata/Internals.lc 119:24-120:29 | ||
| 814 | Nat -> Bool | ||
| 815 | testdata/Internals.lc 119:26-119:28 | ||
| 816 | forall a . Eq a => a -> a -> Bool | ||
| 817 | testdata/Internals.lc 119:29-119:30 | ||
| 818 | Nat | ||
| 819 | testdata/Internals.lc 120:24-120:29 | ||
| 820 | Bool | Bool | ||
| 821 | testdata/Internals.lc 122:6-122:10 | ||
| 822 | Type -> Type | Type -> Type | Type -> Type | Type -> Type | Type -> Type | Type | ||
| 823 | testdata/Internals.lc 122:6-122:12 | ||
| 824 | Type | Type | Type | Type | ||
| 825 | testdata/Internals.lc 122:6-122:25 | ||
| 826 | Type | Type | Type | ||
| 827 | testdata/Internals.lc 122:6-122:36 | ||
| 828 | Type | Type | ||
| 829 | testdata/Internals.lc 122:11-122:12 | ||
| 830 | Type | Type | ||
| 831 | testdata/Internals.lc 122:15-122:18 | ||
| 832 | forall a . List a | List _b | ||
| 833 | testdata/Internals.lc 122:21-122:25 | ||
| 834 | forall a . a -> List a -> List a | List _e | Type | Type | Type | ||
| 835 | testdata/Internals.lc 122:26-122:27 | ||
| 836 | Type | ||
| 837 | testdata/Internals.lc 122:29-122:33 | ||
| 838 | Type -> Type | ||
| 839 | testdata/Internals.lc 122:29-122:35 | ||
| 840 | Type | ||
| 841 | testdata/Internals.lc 122:34-122:35 | ||
| 842 | Type | ||
| 843 | testdata/Internals.lc 126:6-126:11 | ||
| 844 | List Type -> Type | List Type -> Type | Type | List Type -> Type | Type | Type | ||
| 845 | testdata/Internals.lc 126:6-128:45 | ||
| 846 | Type | Type | ||
| 847 | testdata/Internals.lc 126:15-126:21 | ||
| 848 | Type | ||
| 849 | testdata/Internals.lc 126:16-126:20 | ||
| 850 | Type | ||
| 851 | testdata/Internals.lc 126:25-126:29 | ||
| 852 | Type | Type | ||
| 853 | testdata/Internals.lc 127:5-127:9 | ||
| 854 | () | ||
| 855 | testdata/Internals.lc 127:5-127:22 | ||
| 856 | Type | ||
| 857 | testdata/Internals.lc 127:13-127:18 | ||
| 858 | List Type -> Type | ||
| 859 | testdata/Internals.lc 127:13-127:22 | ||
| 860 | Type | ||
| 861 | testdata/Internals.lc 127:19-127:22 | ||
| 862 | forall a . List a | forall a . List a | ||
| 863 | testdata/Internals.lc 128:5-128:10 | ||
| 864 | forall a (b :: List Type) . a -> HList b -> HList ('Cons a b) | HList | ||
| 865 | ('Cons _d _c) | ||
| 866 | testdata/Internals.lc 128:5-128:45 | ||
| 867 | Type | Type | Type | Type | Type | ||
| 868 | testdata/Internals.lc 128:14-128:15 | ||
| 869 | _d | ||
| 870 | testdata/Internals.lc 128:14-128:45 | ||
| 871 | Type | Type | ||
| 872 | testdata/Internals.lc 128:19-128:24 | ||
| 873 | List Type -> Type | ||
| 874 | testdata/Internals.lc 128:19-128:27 | ||
| 875 | Type | ||
| 876 | testdata/Internals.lc 128:19-128:45 | ||
| 877 | Type | ||
| 878 | testdata/Internals.lc 128:25-128:27 | ||
| 879 | _c | ||
| 880 | testdata/Internals.lc 128:31-128:36 | ||
| 881 | List Type -> Type | ||
| 882 | testdata/Internals.lc 128:31-128:45 | ||
| 883 | Type | Type | ||
| 884 | testdata/Internals.lc 128:39-128:40 | ||
| 885 | Type | Type | ||
| 886 | testdata/Internals.lc 128:39-128:41 | ||
| 887 | List Type -> List Type | List Type -> List Type | ||
| 888 | testdata/Internals.lc 128:39-128:44 | ||
| 889 | List Type | List Type | ||
| 890 | testdata/Internals.lc 128:40-128:41 | ||
| 891 | forall a . a -> List a -> List a | forall a . a -> List a -> List a | ||
| 892 | testdata/Internals.lc 128:42-128:44 | ||
| 893 | List Type | List Type | ||
| 894 | testdata/Internals.lc 130:1-130:13 | ||
| 895 | forall a -> a -> () -> a | ||
| 896 | testdata/Internals.lc 130:29-130:30 | ||
| 897 | _b | ||
| 898 | testdata/Internals.lc 130:29-130:48 | ||
| 899 | Type | ||
| 900 | testdata/Internals.lc 130:34-130:39 | ||
| 901 | List Type -> Type | ||
| 902 | testdata/Internals.lc 130:34-130:43 | ||
| 903 | Type | ||
| 904 | testdata/Internals.lc 130:34-130:48 | ||
| 905 | Type | ||
| 906 | testdata/Internals.lc 130:40-130:43 | ||
| 907 | forall a . List a | ||
| 908 | testdata/Internals.lc 130:47-130:48 | ||
| 909 | Type | Type | ||
| 910 | testdata/Internals.lc 131:1-131:14 | ||
| 911 | forall a (b :: List Type) | ||
| 912 | . forall c -> (a -> HList b -> c) -> HList ('Cons a b) -> c | ||
| 913 | testdata/Internals.lc 132:21-132:25 | ||
| 914 | Type | ||
| 915 | testdata/Internals.lc 132:33-132:37 | ||
| 916 | Type -> Type | ||
| 917 | testdata/Internals.lc 132:33-132:42 | ||
| 918 | Type | ||
| 919 | testdata/Internals.lc 132:33-136:9 | ||
| 920 | Type | ||
| 921 | testdata/Internals.lc 132:38-132:42 | ||
| 922 | Type | ||
| 923 | testdata/Internals.lc 133:8-136:9 | ||
| 924 | Type | ||
| 925 | testdata/Internals.lc 134:8-136:9 | ||
| 926 | Type | ||
| 927 | testdata/Internals.lc 134:9-134:10 | ||
| 928 | Type | ||
| 929 | testdata/Internals.lc 134:14-134:19 | ||
| 930 | List Type -> Type | ||
| 931 | testdata/Internals.lc 134:14-134:21 | ||
| 932 | Type | ||
| 933 | testdata/Internals.lc 134:14-134:26 | ||
| 934 | Type | ||
| 935 | testdata/Internals.lc 134:20-134:21 | ||
| 936 | List Type | ||
| 937 | testdata/Internals.lc 134:25-134:26 | ||
| 938 | _d | Type | ||
| 939 | testdata/Internals.lc 135:8-135:13 | ||
| 940 | List Type -> Type | ||
| 941 | testdata/Internals.lc 135:8-135:24 | ||
| 942 | Type | ||
| 943 | testdata/Internals.lc 135:8-136:9 | ||
| 944 | Type | ||
| 945 | testdata/Internals.lc 135:15-135:19 | ||
| 946 | forall a . a -> List a -> List a | ||
| 947 | testdata/Internals.lc 135:15-135:21 | ||
| 948 | List Type -> List Type | ||
| 949 | testdata/Internals.lc 135:15-135:23 | ||
| 950 | List Type | ||
| 951 | testdata/Internals.lc 135:20-135:21 | ||
| 952 | Type | ||
| 953 | testdata/Internals.lc 135:22-135:23 | ||
| 954 | List Type | ||
| 955 | testdata/Internals.lc 136:8-136:9 | ||
| 956 | Type | Type \ No newline at end of file | ||