007_path.d: ':core id' returns the value, not the type

This commit is contained in:
Dan Aloni 2016-06-21 15:49:25 +03:00
parent d6e49d1cf9
commit a6ca688c28

View File

@ -311,7 +311,7 @@ plus :: forall a. Num a => a -> a -> a
> :core id
id :: forall a. a -> a
id = \(ds1 : a) -> a
id = \(ds1 : a) -> ds1
> :core compose
compose :: forall c d e. (d -> e) -> (c -> d) -> c -> e