FilesExpand file tree

 master

/

Sugar.hs

Copy path

BlameMore file actions

BlameMore file actions

Latest commit

 

History

History

History

68 lines (63 loc) · 2.06 KB

 master

/

Sugar.hs

Top

File metadata and controls

• Code
• Blame

68 lines (63 loc) · 2.06 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

-- |

-- Desugaring passes

--

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

import Control.Category ((>>>))

import Control.Monad

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

import Control.Monad.Supply.Class

import Control.Monad.Writer.Class (MonadWriter())

import Data.List (map)

import Data.Traversable (traverse)

import Language.PureScript.AST

import Language.PureScript.Errors

import Language.PureScript.Externs

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.TypeClasses.Deriving 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

--

-- * 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

:: (MonadSupply m, MonadError MultipleErrors m, MonadWriter MultipleErrors m)

=> [ExternsFile]

-> [Module]

-> m [Module]

desugar externs =

map desugarSignedLiterals

>>> traverse desugarObjectConstructors

>=> traverse desugarDoModule

>=> traverse desugarCasesModule

>=> traverse desugarTypeDeclarationsModule

>=> desugarImports externs

>=> rebracket externs

>=> traverse checkFixityExports

>=> traverse (deriveInstances externs)

>=> desugarTypeClasses externs

>=> traverse createBindingGroupsModule