02032d8 · elk · git.iko.soy

36 do

37 -- Parse the source code

38 validModule <-

39− Result.format Error.Syntax $ {-# SCC parsing #-}

39+ Result.format Error.Syntax $ {-# SCC elm_compiler_parse #-}

40 Parse.program packageName (getOpTable interfaces) source

41

42 -- Canonicalize all variables, pinning down where they came from.

45

46 -- Run type inference on the program.

47 types <-

48− Result.from Error.Type $ {-# SCC type_inference #-}

48+ Result.from Error.Type $ {-# SCC elm_compiler_types #-}

49 TI.infer interfaces canonicalModule

50

51 -- One last round of checks

55 Can.toSortedDefs (Module.program (Module.info canonicalModule))

56

57 tagDict <-

58− Result.format Error.Pattern $ {-# SCC exhaustiveness #-}

58+ Result.format Error.Pattern $ {-# SCC elm_compiler_exhaustiveness #-}

59 Nitpick.patternMatches interfaces canonicalModule

60

61 -- Do some basic optimizations

62− let optimisedDefs = {-# SCC optimization #-}

62+ let optimisedDefs = {-# SCC elm_compiler_optimization #-}

63 Optimize.optimize tagDict (Module.name canonicalModule) canonicalDefs

64

65 -- Add the real list of types