diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2015-12-17 16:51:32 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2015-12-17 16:51:32 +0100 |
| commit | 68d90babfa339729e4a60235af1ee7e9e3e67db2 (patch) | |
| tree | d870a4ed34a0f58d1c47d9e6df70f93ae168c1cc | |
| parent | bd0d0380c49036f207663db55fbd5d1095df4e66 (diff) | |
bugfix; example07 passes
| -rw-r--r-- | prototypes/Infer.hs | 2 | ||||
| l--------- | prototypes/tests/accept/example07.lc | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/prototypes/Infer.hs b/prototypes/Infer.hs index 6e261c12..86f6053e 100644 --- a/prototypes/Infer.hs +++ b/prototypes/Infer.hs | |||
| @@ -1637,7 +1637,7 @@ parseTerm ns PrecAtom e = | |||
| 1637 | mkSwizzling term = swizzcall | 1637 | mkSwizzling term = swizzcall |
| 1638 | where | 1638 | where |
| 1639 | sc c = SGlobal $ 'S':c:[] | 1639 | sc c = SGlobal $ 'S':c:[] |
| 1640 | swizzcall [x] = SGlobal "swizzscalar" `SAppV` term `SAppV` sc x | 1640 | swizzcall [x] = SGlobal "swizzscalar" `SAppV` term `SAppV` (sc . synonym) x |
| 1641 | swizzcall xs = SGlobal "swizzvector" `SAppV` term `SAppV` swizzparam xs | 1641 | swizzcall xs = SGlobal "swizzvector" `SAppV` term `SAppV` swizzparam xs |
| 1642 | swizzparam xs = foldl (\exp s -> exp `SAppV` s) (vec xs) $ map (sc . synonym) xs | 1642 | swizzparam xs = foldl (\exp s -> exp `SAppV` s) (vec xs) $ map (sc . synonym) xs |
| 1643 | vec xs = SGlobal $ case length xs of | 1643 | vec xs = SGlobal $ case length xs of |
diff --git a/prototypes/tests/accept/example07.lc b/prototypes/tests/accept/example07.lc new file mode 120000 index 00000000..70995cd0 --- /dev/null +++ b/prototypes/tests/accept/example07.lc | |||
| @@ -0,0 +1 @@ | |||
| ../../../tests/accept/example07.lc \ No newline at end of file | |||