diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-01-27 11:03:00 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-01-27 11:03:19 +0100 |
| commit | 2092ca9e3d9482d939d61ebaf10d71578169e0ec (patch) | |
| tree | 5ca52fb0275749d563c4ef18788ea9382609dbde /lc | |
| parent | 22d39bea7e429c8f25d1d283636165afae642a4e (diff) | |
refactoring: use less STyped
Diffstat (limited to 'lc')
| -rw-r--r-- | lc/Internals.lc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lc/Internals.lc b/lc/Internals.lc index 5c359e0a..aedb62fc 100644 --- a/lc/Internals.lc +++ b/lc/Internals.lc | |||
| @@ -2,6 +2,9 @@ | |||
| 2 | -- declarations of builtin functions and data types used by the compiler | 2 | -- declarations of builtin functions and data types used by the compiler |
| 3 | module Internals where | 3 | module Internals where |
| 4 | 4 | ||
| 5 | -- used for type annotations | ||
| 6 | typeAnn x = x | ||
| 7 | |||
| 5 | undefined :: forall (a :: Type) . a | 8 | undefined :: forall (a :: Type) . a |
| 6 | 9 | ||
| 7 | primFix :: forall (a :: Type) . (a -> a) -> a | 10 | primFix :: forall (a :: Type) . (a -> a) -> a |