diff options
| author | Eduardo Julian | 2017-05-20 15:39:29 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-05-20 15:39:29 -0400 |
| commit | 76d209d7b33f713259bd9ddb453d571f814005c9 (patch) | |
| tree | 831b34bbb951695a2df5af758721d119f1ffc08a /new-luxc/source/luxc/synthesizer | |
| parent | b81f241bd90092f52a47f64f4dc8297cc4f82f56 (diff) | |
- Some refactoring.
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/source/luxc/synthesizer.lux | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/synthesizer.lux b/new-luxc/source/luxc/synthesizer.lux index fae6d8c5f..6acd2a0a2 100644 --- a/new-luxc/source/luxc/synthesizer.lux +++ b/new-luxc/source/luxc/synthesizer.lux @@ -15,8 +15,7 @@ (^template [<from> <to>] (<from> value) (<to> value)) - ([#la;Unit #ls;Unit] - [#la;Bool #ls;Bool] + ([#la;Bool #ls;Bool] [#la;Nat #ls;Nat] [#la;Int #ls;Int] [#la;Deg #ls;Deg] |