Relax dependency to microlens (#3817)

`microlens-platform` brings in quite a bit of extra dependencies. To thin out what `purescript-ast` depends on, we move from `microlens-platform` to `microlens`.
purescript · Mar 23, 2020 · 8766ec0 · 8766ec0
1 parent 2963edd
commit 8766ec0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lib/purescript-ast/package.yaml b/lib/purescript-ast/package.yaml
@@ -25,7 +25,7 @@ dependencies:
   - containers
   - deepseq
   - filepath
-  - microlens-platform >=0.3.9.0 && <0.4
+  - microlens >=0.4.10 && <0.5
   - mtl >=2.1.0 && <2.3.0
   - protolude >=0.1.6 && <0.2.4
   - scientific >=0.3.4.9 && <0.4

diff --git a/lib/purescript-ast/src/Language/PureScript/Types.hs b/lib/purescript-ast/src/Language/PureScript/Types.hs
@@ -29,7 +29,7 @@ import "this" Language.PureScript.Names
 import "this" Language.PureScript.Label (Label)
 import "this" Language.PureScript.PSString (PSString)
 
-import "microlens-platform" Lens.Micro.Platform (Lens', (^.), set)
+import "microlens" Lens.Micro (Lens', (^.), set)
 
 type SourceType = Type SourceAnn
 type SourceConstraint = Constraint SourceAnn