purescript-0.15.15: tests/purs/passing/ObjectSynonym.purs

module Main where

import Prelude
import Effect.Console (log)

type Inner = Number

inner :: Inner
inner = 0.0

type Outer = { inner :: Inner }

outer :: Outer
outer = { inner: inner }

main = log "Done"