diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-06 12:29:36 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-06 12:29:36 +0200 |
| commit | d353a29bb93d3105a763465300b28250117c3f40 (patch) | |
| tree | 1517e23109d5e3c266b634b3c7af4dd4ca29e4d7 /src/LambdaCube/Compiler/CoreToIR.hs | |
| parent | 3430070058610b6aeab2543bc050bb1cf2e95d0c (diff) | |
show typechecked source code in .out files & fix local function handling (again)
Diffstat (limited to 'src/LambdaCube/Compiler/CoreToIR.hs')
| -rw-r--r-- | src/LambdaCube/Compiler/CoreToIR.hs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/LambdaCube/Compiler/CoreToIR.hs b/src/LambdaCube/Compiler/CoreToIR.hs index f65b543d..1e23cddf 100644 --- a/src/LambdaCube/Compiler/CoreToIR.hs +++ b/src/LambdaCube/Compiler/CoreToIR.hs | |||
| @@ -923,9 +923,6 @@ instance PShow ExpTV where | |||
| 923 | isSampler (I.TyCon n _) = show n == "'Sampler" | 923 | isSampler (I.TyCon n _) = show n == "'Sampler" |
| 924 | isSampler _ = False | 924 | isSampler _ = False |
| 925 | 925 | ||
| 926 | untick (Ticked s) = s | ||
| 927 | untick s = s | ||
| 928 | |||
| 929 | -------------------------------------------------------------------------------- ExpTV conversion -- TODO: remove | 926 | -------------------------------------------------------------------------------- ExpTV conversion -- TODO: remove |
| 930 | 927 | ||
| 931 | removeLams 0 x = x | 928 | removeLams 0 x = x |