FilesExpand file tree

 core-imp

/

Sugar.hs

Copy path

BlameMore file actions

BlameMore file actions

Latest commit

 

History

History

History

71 lines (65 loc) · 2.23 KB

 core-imp

/

Sugar.hs

Top

File metadata and controls

• Code
• Blame

71 lines (65 loc) · 2.23 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

-----------------------------------------------------------------------------

--

-- Module : Language.PureScript.Sugar

-- Copyright : (c) Phil Freeman 2013

-- License : MIT

--

-- Maintainer : Phil Freeman <paf31@cantab.net>

-- Stability : experimental

-- Portability :

--

-- |

-- Desugaring passes

--

-----------------------------------------------------------------------------

{-# LANGUAGE FlexibleContexts #-}

module Language.PureScript.Sugar (desugar, module S) where

import Control.Monad

import Control.Category ((>>>))

import Control.Applicative

import Control.Monad.Error.Class (MonadError(..))

import Control.Monad.Supply.Class

import Language.PureScript.AST

import Language.PureScript.Errors

import Language.PureScript.Sugar.BindingGroups as S

import Language.PureScript.Sugar.CaseDeclarations as S

import Language.PureScript.Sugar.DoNotation as S

import Language.PureScript.Sugar.Names as S

import Language.PureScript.Sugar.ObjectWildcards as S

import Language.PureScript.Sugar.Operators as S

import Language.PureScript.Sugar.TypeClasses as S

import Language.PureScript.Sugar.TypeDeclarations as S

-- |

-- The desugaring pipeline proceeds as follows:

--

-- * Remove signed literals in favour of `negate` applications

--

-- * Desugar object literals with wildcards into lambdas

--

-- * Desugar operator sections

--

-- * Desugar do-notation using the @Prelude.Monad@ type class

--

-- * Desugar top-level case declarations into explicit case expressions

--

-- * Desugar type declarations into value declarations with explicit type annotations

--

-- * Qualify any unqualified names and types

--

-- * Rebracket user-defined binary operators

--

-- * Introduce type synonyms for type class dictionaries

--

-- * Group mutually recursive value and data declarations into binding groups.

--

desugar :: (Applicative m, MonadSupply m, MonadError MultipleErrors m) => [Module] -> m [Module]

desugar = map removeSignedLiterals

>>> mapM desugarObjectConstructors

>=> mapM desugarOperatorSections

>=> mapM desugarDoModule

>=> desugarCasesModule

>=> desugarTypeDeclarationsModule

>=> desugarImports

>=> rebracket

>=> desugarTypeClasses

>=> createBindingGroupsModule